[klee-dev] Different between DFS Searcher and Random Searcher

[Loi Luu]

Hi everyone,

I have a question about the difference between the two searchers: DFS and
Random one. As I see from the source code (klee/lib/Core/Searcher.cpp),
they are different in only the selectState() method, that makes me in
doubt. I think that there must be other different point, but I couldnt
figure it out.

By the way, I still dont understand why we call it DFS based on the source
code, it does not clear to me. So can you give me any hint/ point?

Thanks,

-- 
Loi, Luu The (Mr.)
University of  Engineering and Technology, Vietnam National University,
Hanoi.
-------------- next part --------------
HTML attachment scrubbed and removed