Split test output into goals and tests#204

Merged

kroening merged 4 commits intodiffblue:masterfrom

peterschrammel:test-output

Aug 19, 2016

Commits on Aug 19, 2016

split test output into goals and tests
Peter Schrammel
committed
show whole trace
Peter Schrammel
committed
fixed expr to json conversion
Peter Schrammel
committed
structured values in json traces
Peter Schrammel
committed