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

[Frank Busse]

Hi Alberto,


On Mon, 29 Oct 2018 18:33:42 +0000
Alberto Barbaro <barbaro.alberto at gmail.com> wrote:

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

I think this is not necessary. For upstream we have another solution in
mind that unfortunately needs more refactoring and testing. Good luck
with your searcher.


Kind regards,

Frank