hide internal symbols in the goto trace#1272

Closed

tautschnig wants to merge 3 commits intodiffblue:masterfrom

tautschnig:trace-internal-symbols

Commits on Aug 22, 2017

set internal for specific variables in the counterexample trace for test-gen-support

lucasccordeiro
authored and
tautschnig
committed
added internal field to json output

lucasccordeiro
authored and
tautschnig
committed
Avoid marking main function call / arguments as internal

pkesseli
authored and
tautschnig
committed