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

Merged

tautschnig merged 2 commits intodiffblue: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
Add new goto-instrument option print-global-state-size
tautschnig
committed