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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
