diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-07-27 10:05:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-27 10:05:30 +0100 |
| commit | b46f8186e60a18ec81e2f03783482c76ac234880 (patch) | |
| tree | ac6644d91c014feac5528a3996deb7c05a54b844 /lib/Basic/ConstructSolverChain.cpp | |
| parent | ee2f1f37cb113324de04d840d42bbd891e9dfd19 (diff) | |
| parent | 57129f1a3131d660c1d41ebafc864daf98192274 (diff) | |
| download | klee-b46f8186e60a18ec81e2f03783482c76ac234880.tar.gz | |
Merge pull request #734 from ccadar/misc
Now that LLVM 2.9 is gone, we can use cl::bits when needed
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 d00fcec1..50d81a25 100644 --- a/lib/Basic/ConstructSolverChain.cpp +++ b/lib/Basic/ConstructSolverChain.cpp @@ -23,14 +23,14 @@ Solver *constructSolverChain(Solver *coreSolver, std::string baseSolverQueryKQueryLogPath) { Solver *solver = coreSolver; - if (optionIsSet(queryLoggingOptions, SOLVER_KQUERY)) { + if (queryLoggingOptions.isSet(SOLVER_KQUERY)) { solver = createKQueryLoggingSolver(solver, baseSolverQueryKQueryLogPath, MinQueryTimeToLog); klee_message("Logging queries that reach solver in .kquery format to %s\n", baseSolverQueryKQueryLogPath.c_str()); } - if (optionIsSet(queryLoggingOptions, SOLVER_SMTLIB)) { + if (queryLoggingOptions.isSet(SOLVER_SMTLIB)) { solver = createSMTLIBLoggingSolver(solver, baseSolverQuerySMT2LogPath, MinQueryTimeToLog); klee_message("Logging queries that reach solver in .smt2 format to %s\n", @@ -55,14 +55,14 @@ Solver *constructSolverChain(Solver *coreSolver, if (DebugValidateSolver) solver = createValidatingSolver(solver, coreSolver); - if (optionIsSet(queryLoggingOptions, ALL_KQUERY)) { + if (queryLoggingOptions.isSet(ALL_KQUERY)) { solver = createKQueryLoggingSolver(solver, queryKQueryLogPath, MinQueryTimeToLog); klee_message("Logging all queries in .kquery format to %s\n", queryKQueryLogPath.c_str()); } - if (optionIsSet(queryLoggingOptions, ALL_SMTLIB)) { + if (queryLoggingOptions.isSet(ALL_SMTLIB)) { solver = createSMTLIBLoggingSolver(solver, querySMT2LogPath, MinQueryTimeToLog); klee_message("Logging all queries in .smt2 format to %s\n", |