New goto-instrument option: --print-global-state-size - #2190

Merged

tautschnig merged 2 commits into

diffblue:developfrom

tautschnig:more-stats

Jun 20, 2018

Commits on Jun 20, 2018

Cleanup options handling of count-eloc, list-eloc, print-path-lengths
tautschnig
committed
d8c5a98
Add new goto-instrument option print-global-state-size
tautschnig
committed
d46a55c