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.buss...@imperial.ac.uk> ha scritto: > 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