klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
CommandLine.h File Reference
#include "llvm/Support/CommandLine.h"
#include "klee/Config/config.h"
Include dependency graph for CommandLine.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 klee
 

Enumerations

enum  klee::QueryLoggingSolverType { klee::ALL_PC, klee::ALL_SMTLIB, klee::SOLVER_PC, klee::SOLVER_SMTLIB }
 The different query logging solvers that can switched on/off. More...
 

Functions

template<typename T >
static bool klee::optionIsSet (llvm::cl::list< T > list, T option)
 

Variables

llvm::cl::opt< bool > klee::UseFastCexSolver
 
llvm::cl::opt< bool > klee::UseCexCache
 
llvm::cl::opt< bool > klee::UseCache
 
llvm::cl::opt< bool > klee::UseIndependentSolver
 
llvm::cl::opt< bool > klee::DebugValidateSolver
 
llvm::cl::opt< int > klee::MinQueryTimeToLog
 
llvm::cl::opt< double > klee::MaxCoreSolverTime
 
llvm::cl::opt< bool > klee::UseForkedCoreSolver
 
llvm::cl::opt< bool > klee::CoreSolverOptimizeDivides
 
llvm::cl::list
< QueryLoggingSolverType > 
klee::queryLoggingOptions