[klee-dev] Klee is not compiled on Ubuntu 16.02

[Reza Ahmadi]

Hi,

I have tried many ways to build Klee i.e. tried LLVM 3.4, 3.7, 3.8, but it
does not compile cleanly.  I even have tried some available scripts to
build it, but all have failed.

Any comments is highly appreciated.

-- 
Reza Ahmadi
Ph.D. student
Software Technology lab
624 Goodwin Hall
Queen's University, Kingston, ON
+1 (613) 7708830 | ahmadi at cs.queensu.ca
https://sites.google.com/site/reahmdi/




-- 
Reza Ahmadi
Ph.D. student
Software Technology lab
624 Goodwin Hall
Queen's University, Kingston, ON
+1 (613) 7708830 | ahmadi at cs.queensu.ca
https://sites.google.com/site/reahmdi/
-------------- next part --------------
HTML attachment scrubbed and removed