Hi, I want to seed KLEE with a concrete input, i.e., I only care about the symbolic expression corresponding to the path taken by the program on a concrete input. How can I force KLEE to just produce that one path constraint?
Cheers, Vijay.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
