UserSearcher.cpp File Reference
#include "UserSearcher.h"#include "Executor.h"#include "MergeHandler.h"#include "Searcher.h"#include "klee/Support/ErrorHandling.h"#include "llvm/Support/CommandLine.h"
Include dependency graph for UserSearcher.cpp:
Go to the source code of this file.
Functions | |
| Searcher * | getNewSearcher (Searcher::CoreSearchType type, RNG &rng, PTree &processTree) |
Function Documentation
◆ getNewSearcher()
| Searcher * getNewSearcher | ( | Searcher::CoreSearchType | type, |
| RNG & | rng, | ||
| PTree & | processTree | ||
| ) |
Definition at line 106 of file UserSearcher.cpp.
Referenced by klee::constructUserSearcher().
Here is the caller graph for this function:
