[klee-dev] An error when running a program that needs external library.

[el habib Boudjema]

Hi all,

When I launch klee with the option : -link-llvm-lib=.libs/libtest.so.bc

I systematically get the error : LLVM ERROR: invalid argument to
evalConstant() .

Any hints ?

Cheers.
-------------- next part --------------
HTML attachment scrubbed and removed