diff options
author | Ken McMillan <unknown> | 2014-05-26 14:33:08 -0700 |
---|---|---|
committer | Ken McMillan <unknown> | 2014-05-26 14:33:08 -0700 |
commit | 7d9165d6b61e7475b973d3bf86d063dcc4a454d1 (patch) | |
tree | 0aa2ad477785c280b3ee165bff71c8abc479b126 /Source/Provers/SMTLib/SMTLibProcess.cs | |
parent | 14e663bd2f9bccd191cfb6f9c72c7efa4e6b4e33 (diff) |
Conjecture printing for duality and child user time tracking.
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProcess.cs')
-rw-r--r-- | Source/Provers/SMTLib/SMTLibProcess.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs index 2374a157..439557c0 100644 --- a/Source/Provers/SMTLib/SMTLibProcess.cs +++ b/Source/Provers/SMTLib/SMTLibProcess.cs @@ -175,8 +175,11 @@ namespace Microsoft.Boogie.SMTLib }
}
+ public static System.TimeSpan TotalUserTime = System.TimeSpan.Zero;
+
public void Close()
{
+ TotalUserTime += prover.UserProcessorTime;
try {
prover.Kill();
} catch {
|