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

Go to the source code of this file.

Namespaces

 klee
 

Functions

Solver * klee::constructSolverChain (Solver *coreSolver, std::string querySMT2LogPath, std::string baseSolverQuerySMT2LogPath, std::string queryPCLogPath, std::string baseSolverQueryPCLogPath)