Merge json error traces and pretty printing

smackers / smack

SMACK Software Verifier and Verification Toolchain

http://smackers.github.io

Other

427 stars 82 forks source link

Merge json error traces and pretty printing #754

Closed zvonimir closed 3 years ago

zvonimir commented 3 years ago

This is inspired by this pull request: https://github.com/smackers/smack/pull/742 It seems that pretty printing of error traces and json error traces are currently separate. This should be merged into one procedure. Probably json should be generated first, and then we should pretty print from json.

zvonimir commented 3 years ago

@shaobo-he any thoughts on this?

zvonimir commented 3 years ago

Argh! This issue makes no sense. Closing it now.