[klee-dev] run using KLEE error

[Alexandru Ionut Diaconescu]

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   .

Do you know what I can do?

Also, it would be nice to give Klee inputs compiled with Clang that I
already use for my passes.

Thank you in advance !

-- 
Best regards,
Alexandru Ionut Diaconescu
-------------- next part --------------
HTML attachment scrubbed and removed