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. -------------- next part -------------- HTML attachment scrubbed and removed