search

ApproxSymate / klee

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

Remove ErrorState::valueErrorMap #35

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

Resolves issue #33, confirming that it is possible.

In addition, this PR also simplifies and corrected the handling of multiplication and division in ErrorState::propagateError(). Previously assertion may be triggered due to unequal widths in the creation of AddExpr (call to AddExpr::create()).