search

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis
Other
0 stars 0 forks source link

Default trip count #95

Closed domainexpert closed 6 years ago

domainexpert commented 6 years ago

@Himeshi This is the version of -default-trip-count for specifying the default constant trip count in case LLVM could not provide the constant trip count.