On Wed, Jan 23, 2013 at 04:56:31PM +0100, Alexandru Ionut Diaconescu wrote: > Hello, > > Thank you for your response. I thought also that might be the problem and > now I'm trying to install Klee over LLVM 2.9 (I think I have 3.1).
Which version of LLVM is your current installation of Klee compiled against? If it's 3.1 (the same as clang), then this probably isn't the cause of your problems. HTH, Jonathan Neuschäfer _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
