diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-11 11:30:33 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-13 10:25:33 +0000 |
| commit | 3e68ad488f0ca59d2ec19a1c4332e59cc2efbb7c (patch) | |
| tree | b5488f95ddb266571bbe4e092f1db97fa5c5242b /include | |
| parent | 946c14baf091ccbc5334d3c506921e8c0e9a739c (diff) | |
| download | klee-3e68ad488f0ca59d2ec19a1c4332e59cc2efbb7c.tar.gz | |
Added missing description for some options in CmdLineOptions.cpp (and some reformatting).
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/SolverCmdLine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/SolverCmdLine.h b/include/klee/SolverCmdLine.h index 82302208..c6fb6654 100644 --- a/include/klee/SolverCmdLine.h +++ b/include/klee/SolverCmdLine.h @@ -52,7 +52,7 @@ enum QueryLoggingSolverType { SOLVER_SMTLIB ///< Log queries passed to solver in .smt2 (SMT-LIBv2) format }; -extern llvm::cl::bits<QueryLoggingSolverType> queryLoggingOptions; +extern llvm::cl::bits<QueryLoggingSolverType> QueryLoggingOptions; enum CoreSolverType { STP_SOLVER, |