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