A tiny symbolic execution engine.
To run this project, you need to have the Scala build tool sbt installed, as well as an SMT solver (currently supported: Z3, CVC4, Princess).
Run the symbolic execution tool by calling sbt run
.
A tiny symbolic execution engine
A tiny symbolic execution engine.
To run this project, you need to have the Scala build tool sbt installed, as well as an SMT solver (currently supported: Z3, CVC4, Princess).
Run the symbolic execution tool by calling sbt run
.
A tiny symbolic execution engine
BSD 3-Clause "New" or "Revised" License