[klee-dev] How to remove the current state from states?

[Alberto Barbaro]

Thanks Frank,
ASAP I'll try to use the approach you suggest and if working fine I could
submit a PR if for  you is OK.

Thanks

Il giorno lun 29 ott 2018 alle ore 16:00 Frank Busse <
f.busse17 at imperial.ac.uk> ha scritto:

> Hi Alberto,
>
>
> On Mon, 29 Oct 2018 14:21:28 +0000
> Alberto Barbaro <barbaro.alberto at gmail.com> wrote:
>
> > Thanks for your email I've seen that the BaseSearcher has 2 utility
> > functions for adding and removing a state. Since I'm working on a
> searcher,
> > if I don't add the states in added states() into states() it'd be like
> > remove them isn't it?
>
> if you don't add the states in addedStates to your local (in your
> searcher) state set, they still exist (Executor::states) but you won't
> select() them. This has two disadvantages:
>
> 1.) you'll waste resources
> 2.) the main loop won't terminate (see Executor::run)
>
>
> Kind regards,
>
> Frank
>
-------------- next part --------------
HTML attachment scrubbed and removed