Re: [klee-dev] SSE Support?

Yeah I spent a few hours last night trying to compile libc with that flag. It doesn't seem possible since functions like atof necessarily have to use SSE for the return value. On Aug 7, 2017 12:15, "David Lightstone" wrote: > With respect to a SSE disabled version

Re: [klee-dev] SSE Support?

With respect to a SSE disabled version of QEMU The gcc compiler has options of the form -no-sse* My uninformed guess (i.e. I have not tried it) is the use of those options would be the key. You probably will have to build your own versions of libc and QEMU using those options Dave Lightstone