[klee-dev] Whats the difference between RandomSearcher and RandomPathSearcher?

[Zaman, Tarannum]

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
-------------- next part --------------
HTML attachment scrubbed and removed