search

ApproxSymate / klee

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

Fixed the computation of path probability in SymbolicError::recompute… #52

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

…PathProbability(). The old computation was actually an error. The new computation sums up all the branch probabilities along an execution path. This resolves issue #49.