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