Closed mnemonikr closed 1 month ago
There is not currently any support for exploration of execution state subject to some constraints. This is a requirement to support conditional branching on a symbolic value.
Resolved in #132
There is not currently any support for exploration of execution state subject to some constraints. This is a requirement to support conditional branching on a symbolic value.