timer only when done talking (otherwise output may get mangled)

vprover · Sep 1, 2024 · f02ec57 · f02ec57
1 parent 33ba6fb
commit f02ec57
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/CASC/PortfolioMode.cpp b/CASC/PortfolioMode.cpp
@@ -632,7 +632,6 @@ void PortfolioMode::runSlice(Options& strategyOpt)
 {
   System::registerForSIGHUPOnParentDeath();
   UIHelper::portfolioParent=false;
-  Timer::reinitialise();
 
   Options opt = strategyOpt;
   //we have already performed the normalization (or don't care about it)
@@ -650,6 +649,8 @@ void PortfolioMode::runSlice(Options& strategyOpt)
       ")" << endl;
   }
 
+  Timer::reinitialise(); // timer only when done talking (otherwise output may get mangled)
+
   Saturation::ProvingHelper::runVampire(*_prb, opt);
 
   bool succeeded =