[klee-dev] Path exploration termination

[Radu Stoenescu]

I have tested my intuition and it worked.


On Tue, Jun 3, 2014 at 1:17 PM, Radu Stoenescu <radu.stoe at gmail.com> 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
-------------- next part --------------
HTML attachment scrubbed and removed