2014-06-03 10:17:22 UTC
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 ?