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

[Alberto Barbaro]

Hi all,
I'm on a searcher and I would like to remove the current state from states.
Should I added it to removedStates or do something else? Can I have the
example one line code if not too much?

Thanks
-------------- next part --------------
HTML attachment scrubbed and removed