search

tracer-x / TracerX

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

Reduction in subsumption count #288

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

basic/arraysimple5.c of klee-examples repository has a reduction in subsumption count and increase in instructions executed, as compared to tracer-x/klee@bf6461a3edc074016f4173d72a3cea699352c841.