I'm interested in running klee on code that would generate constraints on floating point operations. Is anyone else doing this? Would it be possible to couple a constraint solver, other than STP, that supports arithmetic on reals?
-- Robby Cochran
- [klee-dev] Floating point Support Robby Cochran
- [klee-dev] Floating point Support Peter Collingbourne
