search

ApproxSymate / klee

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

Implement printing of line numbers of path #48

Closed domainexpert closed 6 years ago

domainexpert commented 7 years ago

This is for matching with llvm-epp to discover the error expression of the most-frequently-executed path, to be used in sensitivity analysis.

domainexpert commented 6 years ago

This is no longer relevant as we are not going to use path profiler.