Add new flag to wasm-verify to support dumping of SMT to files
#3
Labels
app
For features and improvements that could be made to the CLI `wasm-verify` app
good first issue
Good for newcomers
Comments
DavidMazarro
added
good first issue
DavidMazarro
changed the title
wasm-verify flag to support dumping of SMT to fileswasm-verify to support dumping of SMT to files
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
In
wasm-verifywe support the--debug-smtflag that outputs into the command line the SMT scripts generated during the verification process, for easy debugging.To facilitate tweaking and running these scripts independently, it would be good to offer another flag (e.g.
--dump-smt) that dumps the SMT scripts into files in a specified directory (or into the current working directory). This would mean taking the results obtained from callingexecuteProgramand for each of theIdentifiers in the map (i.e. each of the functions to be analyzed), store each of the SMT scripts corresponding to the different execution paths of that function as different files.The text was updated successfully, but these errors were encountered: