search

ApproxSymate / klee

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

Handle branching due to floating point #10

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

See e.g., sterbenz.c in fp-examples repository.

domainexpert commented 7 years ago

Partially resolved via #11, but needs checking of the semantics of the replacement of float with int.

domainexpert commented 7 years ago

Closing this now, as discussion continues in #14 .