Slowbeast

Playground for symbolic execution.

Requirements

Slowbeast needs python3 and Z3 accesible from python (z3-solver). Alternatively, slowbeast can use PySMT solver layer (experimental).

Depends on sbt-llvmlite.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
benchexec		benchexec
slowbeast		slowbeast
tests		tests
.gitignore		.gitignore
.pylintrc		.pylintrc
LICENSE.txt		LICENSE.txt
Makefile		Makefile
README.md		README.md
sb		sb
setup.py		setup.py