Added debug information for loop trip counts found

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Added debug information for loop trip counts found #88

Closed domainexpert closed 6 years ago

domainexpert commented 6 years ago

When -debug-precision is specified. This is so that we know which loops are broken by -loop-breaking, if any. @Himeshi I will just merge this myself since it is trivial, but please feel free to have a look when free.