[klee-dev] Query about searcher.cpp file
Zaman, Tarannum
tsza223 at g.uky.edu
Tue Sep 15 22:05:17 BST 2015
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
More information about the klee-dev
mailing list