goto-symex: Print (at debug level) the current assertion being converted#2728

Merged

tautschnig merged 2 commits intodiffblue:developfrom

tautschnig:symex-assertions-debug

Sep 4, 2018

Commits on Aug 13, 2018

goto-symex: Print (at debug level) the current assertion being converted
tautschnig
committed
Directly write to mstream instead of going via a string stream
tautschnig
committed