Skip to content
Snippets Groups Projects
README.md 578 B

BanditFuzz

BanditFuzz runs in a virtualenv.

To install BanditFuzz, navigate to its root and run: venv_install.sh . This script will create a directory in the BanditFuzz root directory called venv.

To run Banditfuzz:

source venv/bin/activate

banditfuzz /Absolute/Path/To/Solver1/run.sh /Absolute/Path/To/Solver2/run.sh

When done: deactivate

In the above example, the run.sh script, takes one command line argument, the name of the smt2 input to be solved, and runs the solver on that input, and prints the result to stdout.

QF_S,QF_FP are supported.