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

Merged

peterschrammel merged 2 commits intodiffblue:test-gen-supportfrom

lucasccordeiro:fixing-issue-20

Mar 30, 2017

Commits on Mar 30, 2017

set internal for specific variables in the counterexample trace for test-gen-support
lucasccordeiro
committed
added internal field to json output
lucasccordeiro
committed