[klee-dev] silently concretize float expression to value

[Xiaomei Hou]

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
-------------- next part --------------
HTML attachment scrubbed and removed