klee
SolverCmdLine.h File Reference
#include "klee/Config/config.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/Support/CommandLine.h"
Include dependency graph for SolverCmdLine.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  klee::KCommandLine
 

Namespaces

namespace  klee
 

Enumerations

enum  klee::QueryLoggingSolverType { klee::ALL_KQUERY , klee::ALL_SMTLIB , klee::SOLVER_KQUERY , klee::SOLVER_SMTLIB }
 The different query logging solvers that can be switched on/off. More...
 
enum  klee::CoreSolverType {
  klee::STP_SOLVER , klee::METASMT_SOLVER , klee::DUMMY_SOLVER , klee::Z3_SOLVER ,
  klee::NO_SOLVER
}
 

Variables

llvm::cl::opt< bool > klee::UseFastCexSolver
 
llvm::cl::opt< bool > klee::UseCexCache
 
llvm::cl::opt< bool > klee::UseBranchCache
 
llvm::cl::opt< bool > klee::UseIndependentSolver
 
llvm::cl::opt< bool > klee::DebugValidateSolver
 
llvm::cl::opt< std::string > klee::MinQueryTimeToLog
 
llvm::cl::opt< bool > klee::LogTimedOutQueries
 
llvm::cl::opt< std::string > klee::MaxCoreSolverTime
 
llvm::cl::opt< bool > klee::UseForkedCoreSolver
 
llvm::cl::opt< bool > klee::CoreSolverOptimizeDivides
 
llvm::cl::opt< bool > klee::UseAssignmentValidatingSolver
 
llvm::cl::bits< QueryLoggingSolverType > klee::QueryLoggingOptions
 
llvm::cl::opt< CoreSolverType > klee::CoreSolverToUse
 
llvm::cl::opt< CoreSolverType > klee::DebugCrossCheckCoreSolverWith