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.
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev