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