Hi, KLEE silently concretizes expression to value, when expression is floating point.
KLEE: WARNING: silently concretizing (reason: floating point) expression (ReadLSB w32 0 dDA) to value 56 (:0) I want to work with examples that has float. Can KLEE deal with this? If I have to change the code of KLEE, could you give some suggestions? Thanks a lot! Best wishes! Xiaomei
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
