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.
pruemmer/nano-symex
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|