search

ApproxSymate / klee

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

Type crashes fix #59

Closed domainexpert closed 6 years ago

domainexpert commented 6 years ago

This fixes two crashes when running with JMEIntTest.c as input. The first crash was due to the incorrect bit casting with sitofp instruction, and the second crash was due to floating-point comparison not being handled in ErrorState::propagateError().