diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-04-03 13:56:38 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-04-03 13:56:38 +0000 |
| commit | 7d8fdac598ad879ce973667df53c7acbead1ba2e (patch) | |
| tree | 587fed1e851bb32ddf76c6b8c83e368e309c8b7e /lib/Basic | |
| parent | cff2b8c9d447503bcff40e4eb0f1d69bead89206 (diff) | |
| download | klee-7d8fdac598ad879ce973667df53c7acbead1ba2e.tar.gz | |
Code reformatting.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@178642 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Basic')
| -rw-r--r-- | lib/Basic/ConstructSolverChain.cpp | 35 |
1 files changed, 20 insertions, 15 deletions
diff --git a/lib/Basic/ConstructSolverChain.cpp b/lib/Basic/ConstructSolverChain.cpp index 0cd3dc31..70c728df 100644 --- a/lib/Basic/ConstructSolverChain.cpp +++ b/lib/Basic/ConstructSolverChain.cpp @@ -24,19 +24,22 @@ namespace klee { Solver *solver = stpSolver; - if (optionIsSet(queryLoggingOptions,SOLVER_PC)) + if (optionIsSet(queryLoggingOptions, SOLVER_PC)) { solver = createPCLoggingSolver(solver, - baseSolverQueryPCLogPath, - MinQueryTimeToLog); - std::cerr << "Logging queries that reach solver in .pc format to " << baseSolverQueryPCLogPath.c_str() << std::endl; + baseSolverQueryPCLogPath, + MinQueryTimeToLog); + std::cerr << "Logging queries that reach solver in .pc format to " + << baseSolverQueryPCLogPath.c_str() << std::endl; } - if (optionIsSet(queryLoggingOptions,SOLVER_SMTLIB)) + if (optionIsSet(queryLoggingOptions, SOLVER_SMTLIB)) { - solver = createSMTLIBLoggingSolver(solver,baseSolverQuerySMT2LogPath, - MinQueryTimeToLog); - std::cerr << "Logging queries that reach solver in .smt2 format to " << baseSolverQuerySMT2LogPath.c_str() << std::endl; + solver = createSMTLIBLoggingSolver(solver, + baseSolverQuerySMT2LogPath, + MinQueryTimeToLog); + std::cerr << "Logging queries that reach solver in .smt2 format to " + << baseSolverQuerySMT2LogPath.c_str() << std::endl; } if (UseFastCexSolver) @@ -54,19 +57,21 @@ namespace klee if (DebugValidateSolver) solver = createValidatingSolver(solver, stpSolver); - if (optionIsSet(queryLoggingOptions,ALL_PC)) + if (optionIsSet(queryLoggingOptions, ALL_PC)) { solver = createPCLoggingSolver(solver, - queryPCLogPath, - MinQueryTimeToLog); - std::cerr << "Logging all queries in .pc format to " << queryPCLogPath.c_str() << std::endl; + queryPCLogPath, + MinQueryTimeToLog); + std::cerr << "Logging all queries in .pc format to " + << queryPCLogPath.c_str() << std::endl; } - if (optionIsSet(queryLoggingOptions,ALL_SMTLIB)) + if (optionIsSet(queryLoggingOptions, ALL_SMTLIB)) { solver = createSMTLIBLoggingSolver(solver,querySMT2LogPath, - MinQueryTimeToLog); - std::cerr << "Logging all queries in .smt2 format to " << querySMT2LogPath.c_str() << std::endl; + MinQueryTimeToLog); + std::cerr << "Logging all queries in .smt2 format to " + << querySMT2LogPath.c_str() << std::endl; } return solver; |