search

ApproxSymate / klee

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

Added missing creation of add expression in ErrorState::propagateError #79

Closed domainexpert closed 6 years ago

domainexpert commented 6 years ago

@Himeshi I think I had found a bug.