[klee-dev] run using KLEE error

[Jonathan Neuschäfer]

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