search

ApproxSymate / klee

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

Floating points in conditionals #2

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

There may be some sample programs with conditionals depending on the floating point, and unfortunately, KLEE grounds symbolic floating points so we lose paths, however, the first step is to just get error expressions of the output variable as many as we can.

domainexpert commented 7 years ago

This issue is closed as it has been moved to the design section of the wiki.