Hello, I'm interested in running some code when path exploration is about to end in the case of a given path.
I've found the *terminateState* *family of methods in Executor.h ? Is that the spot where to start working ? Thank you, -- Radu Stoenescu
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
