I have tested my intuition and it worked.
On Tue, Jun 3, 2014 at 1:17 PM, Radu Stoenescu <[email protected]> wrote: > 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 > -- Radu Stoenescu
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
