Patch by Tomasz Kuchta that refactors the logging code, by introducing a new logging class hierarchy.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171387 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 4 insertions, 2 deletions

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index b8db18fe..5803e6ff 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -317,7 +317,8 @@ Solver *constructSolverChain(STPSolver *stpSolver,
 
   if (optionIsSet(queryLoggingOptions,SOLVER_SMTLIB))
   {
-    solver = createSMTLIBLoggingSolver(solver,baseSolverQuerySMT2LogPath);
+    solver = createSMTLIBLoggingSolver(solver,baseSolverQuerySMT2LogPath,
+                                       MinQueryTimeToLog);
     klee_message("Logging queries that reach solver in .smt2 format to %s",baseSolverQuerySMT2LogPath.c_str());
   }
 
@@ -346,7 +347,8 @@ Solver *constructSolverChain(STPSolver *stpSolver,
   
   if (optionIsSet(queryLoggingOptions,ALL_SMTLIB))
   {
-    solver = createSMTLIBLoggingSolver(solver,querySMT2LogPath);
+    solver = createSMTLIBLoggingSolver(solver,querySMT2LogPath,
+                                       MinQueryTimeToLog);
     klee_message("Logging all queries in .smt2 format to %s",querySMT2LogPath.c_str());
   }