Hello, I've been trying to execute a bitcode file generated by McSema [1] and Klee fails with "LLVM ERROR: Code generator does not support intrinsic function 'llvm.fabs.f32'!". Are floating point operations like fabs not implemented yet/completely or is this a different issue (maybe related to McSema)?
Best, Samuel [1] https://github.com/trailofbits/mcsema _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
