From db5c7fc7eacfcdc2e9ffabfd1c0c451b0ca6561d Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Mon, 30 Jul 2012 20:12:54 +0100
Subject: BoogieDriver: correctly display time taken by prover if >60 seconds

---
 Source/BoogieDriver/BoogieDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source')

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 114a26cf..66582173 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -744,7 +744,7 @@ namespace Microsoft.Boogie {
           if (CommandLineOptions.Clo.Trace || CommandLineOptions.Clo.XmlSink != null) {
             if (CommandLineOptions.Clo.Trace) {
               int poCount = vcgen.CumulativeAssertionCount - prevAssertionCount;
-              timeIndication = string.Format("  [{0} s, {1} proof obligation{2}]  ", elapsed.ToString("%s\\.fff"), poCount, poCount == 1 ? "" : "s");
+              timeIndication = string.Format("  [{0:F3} s, {1} proof obligation{2}]  ", elapsed.TotalSeconds, poCount, poCount == 1 ? "" : "s");
             }
           }
 
-- 
cgit v1.2.3