[klee-dev] How to skip the current state?

Alberto Barbaro barbaro.alberto at gmail.com
Mon Jul 23 08:51:39 BST 2018


Hi all,
I'm working on a new searcher and I'm at a point where I would skip the
current state and just continue with the new added states. Is there a way
to do that in the updateState() function? If not, how should I do it?

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


More information about the klee-dev mailing list