Document SMACK command line options

smackers / smack

SMACK Software Verifier and Verification Toolchain

http://smackers.github.io

Other

432 stars 82 forks source link

Open zvonimir opened 3 years ago

zvonimir commented 3 years ago

We should really do this properly since it often causes confusion for our users.