Hello everyone,
I was successfully able to install Klee on my LLVM 3.1 environment, but
it's not working properly. Then, I tried to install it on LLVM 2.9. I have
an error due configuration.
Configuration comamnds :
.
/home/alex/llvm2.9/llvm/*/bin/llvm-config
Hi, it's just, e.g., --with-llvm-build-mode=Release+Asserts.
Best,
Cristian
On 29/01/13 09:31, Alexandru Ionut Diaconescu wrote:
Hello everyone,
I was successfully able to install Klee on my LLVM 3.1 environment, but
it's not working properly. Then, I tried to install it on LLVM 2.9. I
have
Thank you Cristian, now Klee is successfully build.
On Tue, Jan 29, 2013 at 11:23 AM, Cristian Cadar c.ca...@imperial.ac.ukwrote:
Hi, it's just, e.g., --with-llvm-build-mode=**Release+Asserts.
Best,
Cristian
On 29/01/13 09:31, Alexandru Ionut Diaconescu wrote:
Hello everyone,
I was