Hi, What I have understand that RandomSearcher selects next state randomly. But what actually the RandomPathSearcher in Klee is doing? How it selects its next state and what is the difference between this two searcher?
Thanks, Shaila
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
