HI, I ran into following error when using KLEE run sendmail 8.12.10. The compiler is llvm 2.8(llvm-gcc 2.8).
The error says: "LLVM ERROR: Code generator does not support intrinsic function 'llvm.trap'!" Although there is a solution to this problem here : http://comments.gmane.org/gmane.comp.compilers.llvm.klee/1027 , which does not work for my situation after trying. Thanks. Yongchao Li.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
