Hi all. I have compiled a source file to bitcode without debug information, i'm not using "any" of the KLEE's intrinsic, i.e i'm not making anything symbolic, just obtained a vanilla bitcode. If i run that bitcode in KLEE, does KLEE here work llike a bitcode interpreter? (like lli). Is it then really then same as running it on lli?
Thank you in advance!
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev