search

ApproxSymate / klee

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

Path probability implementation #43

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

For every test testN.ktest, testN.prob is also generated, containing the probability of the test path being executed.