Fix to assertion failure crash with statemate.c

tracer-x / TracerX

TracerX Symbolic Virtual Machine

https://tracer-x.github.io/

Other

31 stars 11 forks source link

Fix to assertion failure crash with statemate.c #310

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

Crash was caused by recent fix to handle switch() instruction in #299. make check succeeds and make in basic directory of klee-examples does not change subsumption and error counts.