Discussion:
Path exploration termination
(too old to reply)
Radu Stoenescu
2014-06-03 10:17:22 UTC
Permalink
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
2014-06-03 14:23:20 UTC
Permalink
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
--
Radu Stoenescu
Loading...