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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
