Skip to content

Instantly share code, notes, and snippets.

@chadbrewbaker

chadbrewbaker/z3

Created February 3, 2019 00:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save chadbrewbaker/812fcd897cd2b5c393cf91ea309c583d to your computer and use it in GitHub Desktop.
Save chadbrewbaker/812fcd897cd2b5c393cf91ea309c583d to your computer and use it in GitHub Desktop.
Download ZIP
z3 interception
Raw
z3
#!/bin/bash
cat - | tee -a /tmp/z3in.log | /usr/local/bin/z3 $@ | tee -a /tmp/z3out.log
@chadbrewbaker
Copy link
Author

chadbrewbaker commented Feb 3, 2019 •
edited 

sed -i -e 's/(exit)/(reset)/g' /tmp/z3in.log

To clean up for batch reruns.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment