[klee-dev] use klee-fp support float

[Cx Qingyang]

Hi,I have successfully build klee-fp,but i don't know how to make it
support float.For example,in the get_sign.c,i change the int x to
float x.Firstly klee-gcc.cde -I ../../include -emit-llvm -c -g
get_sign.c,then klee.cde get_sign.o,and i get a warning :silently
concretizing expression(ReadLSB w32 0 a) to value 0.
-------------- next part --------------
HTML attachment scrubbed and removed