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 /lib/Basic/ConstructSolverChain.cpp | |
parent | 946c14baf091ccbc5334d3c506921e8c0e9a739c (diff) | |
download | klee-3e68ad488f0ca59d2ec19a1c4332e59cc2efbb7c.tar.gz |
Added missing description for some options in CmdLineOptions.cpp (and some reformatting).
Diffstat (limited to 'lib/Basic/ConstructSolverChain.cpp')
-rw-r--r-- | lib/Basic/ConstructSolverChain.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Basic/ConstructSolverChain.cpp b/lib/Basic/ConstructSolverChain.cpp index 8341f62d..5a51b8c5 100644 --- a/lib/Basic/ConstructSolverChain.cpp +++ b/lib/Basic/ConstructSolverChain.cpp @@ -26,13 +26,13 @@ Solver *constructSolverChain(Solver *coreSolver, Solver *solver = coreSolver; const time::Span minQueryTimeToLog(MinQueryTimeToLog); - if (queryLoggingOptions.isSet(SOLVER_KQUERY)) { + if (QueryLoggingOptions.isSet(SOLVER_KQUERY)) { solver = createKQueryLoggingSolver(solver, baseSolverQueryKQueryLogPath, minQueryTimeToLog, LogTimedOutQueries); klee_message("Logging queries that reach solver in .kquery format to %s\n", baseSolverQueryKQueryLogPath.c_str()); } - if (queryLoggingOptions.isSet(SOLVER_SMTLIB)) { + if (QueryLoggingOptions.isSet(SOLVER_SMTLIB)) { solver = createSMTLIBLoggingSolver(solver, baseSolverQuerySMT2LogPath, minQueryTimeToLog, LogTimedOutQueries); klee_message("Logging queries that reach solver in .smt2 format to %s\n", baseSolverQuerySMT2LogPath.c_str()); @@ -56,13 +56,13 @@ Solver *constructSolverChain(Solver *coreSolver, if (DebugValidateSolver) solver = createValidatingSolver(solver, coreSolver); - if (queryLoggingOptions.isSet(ALL_KQUERY)) { + if (QueryLoggingOptions.isSet(ALL_KQUERY)) { solver = createKQueryLoggingSolver(solver, queryKQueryLogPath, minQueryTimeToLog, LogTimedOutQueries); klee_message("Logging all queries in .kquery format to %s\n", queryKQueryLogPath.c_str()); } - if (queryLoggingOptions.isSet(ALL_SMTLIB)) { + if (QueryLoggingOptions.isSet(ALL_SMTLIB)) { solver = createSMTLIBLoggingSolver(solver, querySMT2LogPath, minQueryTimeToLog, LogTimedOutQueries); klee_message("Logging all queries in .smt2 format to %s\n", querySMT2LogPath.c_str()); |