I am still getting the error that /Ting Chen/ reported. Also the llvm
build version that I am using is LLVM build 2.9 as prescribed at
http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923
Please let me know what is the actual issue.
--
*With Thanks and Regards,*
Sandeep Dasgupta
Graduate ( PhD ) in Computer Science
Room : 1218 Siebel Center for Computer Science
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
