Hi all, I am new to klee, and I wondering if there is a way in klee that allows me to run the program till a certain point, and start the symbolic execution from there? Like setting a breakpoint in gdb. I checked the online documents and I couldn't find anything related to it. Thank you in advance. Bo -------------- next part -------------- HTML attachment scrubbed and removed