[klee-dev] run using KLEE error

[Jonathan Neuschäfer]

On Tue, Jan 22, 2013 at 01:48:53PM +0100, Alexandru Ionut Diaconescu wrote:
> Hello everyone,
> 
> I am new to Klee, so I started to make the tutorials.
> 
> If for compilation I use:
> 
> 1.   llvm-gcc --emit-llvm -c -g get_sign.c   and then I try to run using
> klee get_sign.o   I get the error :    KLEE: ERROR: error loading program
> 'get_sign.o': Invalid MODULE_CODE_GLOBALVAR record    .
> 
> 2. clang (that I have used succesfully for my LLVM passes), it appears that
> is not possible to use it:     KLEE: ERROR: error loading program
> 'get_sign.o': Invalid bitcode signature   .

My first guess is that klee, llvm-gcc, and clang are compiled against
different versions of LLVM. You can check that by running each of the
programs with the "--version" argument.

Best regards,
Jonathan Neuschäfer