[klee-dev] klee seems to crash when testing a simple program

[Sandeep]

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
-------------- next part --------------
HTML attachment scrubbed and removed