search

tracer-x / TracerX

TracerX Symbolic Virtual Machine
https://tracer-x.github.io/
Other
31 stars 11 forks source link

Handling of switch instruction #299

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

This resolves issue #187.

domainexpert commented 7 years ago

@rasoolmaghareh Thank you. Just to add a note that make check, and make in basic directory of klee-examples both succeed with this PR, however issue #175 remains.