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/AbsInt/NativeLattice.cs b/Source/AbsInt/NativeLattice.cs
index d02e6f31..f5bf1e03 100644
--- a/Source/AbsInt/NativeLattice.cs
+++ b/Source/AbsInt/NativeLattice.cs
@@ -82,7 +82,7 @@ namespace Microsoft.Boogie.AbstractInterpretation
       if (CommandLineOptions.Clo.Trace) {

         Console.WriteLine();

         Console.WriteLine("Running abstract interpretation...");

-        start = DateTime.Now;

+        start = DateTime.UtcNow;

       }

 

       WidenPoints.Compute(program);

@@ -103,7 +103,7 @@ namespace Microsoft.Boogie.AbstractInterpretation
       }

 

       if (CommandLineOptions.Clo.Trace) {

-        DateTime end = DateTime.Now;

+        DateTime end = DateTime.UtcNow;

         TimeSpan elapsed = end - start;

         Console.WriteLine("  [{0} s]", elapsed.TotalSeconds);

         Console.Out.Flush();