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