Possibility of removing ErrorState::valueErrorMap

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

Made redundant by the use of Cell type to propagate error in #30.

domainexpert commented 7 years ago

Resolved via #35.