Path exploration termination

[Radu Stoenescu]

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]

I have tested my intuition and it worked.

Post by Radu Stoenescu
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