Hi Alberto,
On Mon, 29 Oct 2018 14:21:28 +0000 Alberto Barbaro <barbaro.albe...@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 _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev