search

ApproxSymate / klee

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

Use Cell type to propagate error #30

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

This PR is intended to replace #27, as a better resolution to #26, which avoids the problems with #27 (see the discussion in #27). Here we let KLEE handles the propagation of error expression via local bindings that use Cell objects. This mechanism should replace and results in the removal of ExecutionState::valueErrorMap. This is not yet ready to be merged.

domainexpert commented 7 years ago

@Himeshi I have removed WIP from the title. This is ready for merging now. I have not get rid of ErrorState::valueErrorMap member variable, which is now redundant, but this can be a subject of another issue / PR. When it is removed, some tests need to be done.