klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
UserSearcher.cpp File Reference
#include "Common.h"
#include "UserSearcher.h"
#include "Searcher.h"
#include "Executor.h"
#include "llvm/Support/CommandLine.h"
Include dependency graph for UserSearcher.cpp:

Go to the source code of this file.

Functions

SearchergetNewSearcher (Searcher::CoreSearchType type, Executor &executor)
 

Function Documentation

Searcher* getNewSearcher ( Searcher::CoreSearchType  type,
Executor executor 
)

Definition at line 77 of file UserSearcher.cpp.

Referenced by klee::constructUserSearcher().

Here is the caller graph for this function: