#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:

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

Classes

Namespaces