From 7d8fdac598ad879ce973667df53c7acbead1ba2e Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 3 Apr 2013 13:56:38 +0000 Subject: Code reformatting. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@178642 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Basic/ConstructSolverChain.cpp | 35 ++++++++++++++++++++--------------- 1 file changed, 20 insertions(+), 15 deletions(-) (limited to 'lib/Basic/ConstructSolverChain.cpp') 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; -- cgit 1.4.1