Merge pull request #183 from michael-emmi/restore-total-user-time

Restore TotalUserTime field removed by 714d5a0.
boogie-org · Jan 2, 2020 · c1c61af · c1c61af
2 parents d9d8730 + b935a44
commit c1c61af
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs
@@ -190,8 +190,21 @@ public SExpr GetProverResponse()
       }
     }
 
+
+    // NOTE: this field is used by Corral.
+    // https://github.com/boogie-org/corral/blob/master/source/Driver.cs
+    public static System.TimeSpan TotalUserTime = System.TimeSpan.Zero;
+
     public void Close()
     {
+      try {
+        TotalUserTime += prover.UserProcessorTime;
+      } catch (Exception e) {
+        if (options.Verbosity >= 1) {
+          Console.Error.WriteLine("Warning: prover time not incremented due to {0}", e.GetType());
+        }
+      }
+
       TerminateProver();
       DisposeProver();
     }
@@ -394,4 +407,3 @@ void prover_ErrorDataReceived(object sender, DataReceivedEventArgs e)
     #endregion
   }
 }
-