Cleans up JSON output generation

smackers / smack

SMACK Software Verifier and Verification Toolchain

http://smackers.github.io

Other

432 stars 82 forks source link

Closed zvonimir closed 3 years ago

zvonimir commented 3 years ago

We deprecated smackd output since it has not been used for years. Renamed it as json output. Also, fixed a bug related to json output generation.

Closes #759