I have a couple of llvm bitcode lines that I have already identified as possible targets. Is there any way to use them as target for klee evaluation? Basically, I want klee to reach those lines as fast as possible instead of going in different directions or branches. If there is any existing project or paper, kindly let me know.
________________________________ Important: This email is confidential and may be privileged. If you are not the intended recipient, please delete it and notify us immediately; you should not copy or use it for any purpose, nor disclose its contents to any other person. Thank you.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
