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

[Frank Busse]

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