Symex trace fix#1373

Merged

kroening merged 7 commits intodevelopfrom

symex-trace-fix

Sep 12, 2017

Commits on Sep 12, 2017

use __CPROVER_assert
Daniel Kroening
committed
output statements
Daniel Kroening
committed
comments on test
Daniel Kroening
committed
remove_returns missing in symex
Daniel Kroening
committed
option is now --trace
Daniel Kroening
committed
avoid confusion between SSA lhs and full lhs during assignment
Daniel Kroening
committed
enable symex regression testing
Daniel Kroening
committed