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.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
