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