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.


SearchergetNewSearcher (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: