Improvement. Output the time spent in a stage with -s.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1257 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/AST/RunTimes.h b/src/AST/RunTimes.h
index d30ed3e00196070c72cec5585518285e3074bfa8..4a558e67c53ede5d64c2555dc48b5e36841c90ef 100644 (file)
--- a/src/AST/RunTimes.h
+++ b/src/AST/RunTimes.h
@@ -65,11 +65,19 @@ public:
   void stop(Category c);
   void print();
   
+  std::string getDifference()
+  {
+    std::stringstream s;
+    long val = getCurrentTime();
+    s << (val -  lastTime) << "ms" ;
+    lastTime = val;
+    return s.str();
+  }
+
   void difference()
   {
-         long val = getCurrentTime();
-         std::cout << (val -  lastTime) << "ms" << std::endl;
-         lastTime = val;
+         std::cout << getDifference()<< std::endl << std::endl;
+
   }
 
   RunTimes()

diff --git a/src/STPManager/STPManager.cpp b/src/STPManager/STPManager.cpp
index 3aef19efe245f532bf6010b45db22eb4e50a878a..ce86865ca0203a6e81f86922b87276af0fd3003e 100644 (file)
--- a/src/STPManager/STPManager.cpp
+++ b/src/STPManager/STPManager.cpp
@@ -615,7 +615,8 @@ namespace BEEV
 
     StatInfoSet.clear();
     //print node size:
-    cout << endl << "Printing: " << c;
+
+    cout << "[" << GetRunTimes()->getDifference() << "]" <<  "Printing: " << c;
     if (UserFlags.print_nodes_flag)
       {
         //a.PL_Print(cout,0);