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 | [email protected] 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 | [email protected] https://sites.google.com/site/reahmdi/
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
