[klee-dev] What is the functionality of BumpMergingSearcher?

[Zaman, Tarannum]

Hi,


In the Searcher.cpp file of the klee, what actually the BumpMergingSearcher
technique is doing? What is the functionality and what actually happening
in the selectstate function of this searcher.

What I have understood that this searching techniques added new states in
the base searcher. and then again call the  selectstate function. But I am
not clear about the whole selection process.

Thanks
Shaila
-------------- next part --------------
HTML attachment scrubbed and removed