Use DateTime.UtcNow instead of DateTime.Now

see http://blogs.msdn.com/b/kirillosenkov/archive/2012/01/10/datetime-utcnow-is-generally-preferable-to-datetime-now.aspx

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs
index 6424171b..f45e2995 100644
--- a/Source/Core/Util.cs
+++ b/Source/Core/Util.cs
@@ -518,12 +518,12 @@ namespace Microsoft.Boogie {
       return e.ToString();

     }

 

-    private static readonly DateTime StartUp = DateTime.Now;

+    private static readonly DateTime StartUp = DateTime.UtcNow;

 

     public static void ExtraTraceInformation(string point) {

       Contract.Requires(point != null);

       if (CommandLineOptions.Clo.TraceTimes) {

-        DateTime now = DateTime.Now;

+        DateTime now = DateTime.UtcNow;

         TimeSpan timeSinceStartUp = now - StartUp;

         Console.WriteLine(">>> {0}   [{1} s]", point, timeSinceStartUp.TotalSeconds);

       }