symbolic_execution
A symbolic executor
* Testing timeout raised to 30 s * Bug fix for RIPEMD160 which can no longer be imported from hashlib * Bug fix: some scripts were badly parsed when no else clauses were present
Name | Last commit | Last update |
---|---|---|
symbolic_execution | ||
tests | ||
.gitignore | ||
LICENSE | ||
Makefile | ||
README.md |