[klee-dev] Query about searcher.cpp file

[Zaman, Tarannum]

Hi,

I am a new user of Klee. I am trying to understand the searcher.cpp file of
the Klee code base. I want to implement a new type of search with the help
of Klee, for which I have to modify Klee's searcher.cpp file.

But before modifying the code I need to understand it properly. If anyone
can give me any idea about searcher.cpp or share individuals experience
about this file, then it will be really very helpful for me.

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