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/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 32c3b194..d5a98913 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -536,7 +536,7 @@ namespace Microsoft.Boogie {
 

           DateTime start = new DateTime();  // to please compiler's definite assignment rules

           if (CommandLineOptions.Clo.Trace || CommandLineOptions.Clo.XmlSink != null) {

-            start = DateTime.Now;

+            start = DateTime.UtcNow;

             if (CommandLineOptions.Clo.Trace) {

               Console.WriteLine();

               Console.WriteLine("Verifying {0} ...", impl.Name);

@@ -584,7 +584,7 @@ namespace Microsoft.Boogie {
 

           string timeIndication = "";

 

-          DateTime end = DateTime.Now;

+          DateTime end = DateTime.UtcNow;

           TimeSpan elapsed = end - start;

           if (CommandLineOptions.Clo.Trace || CommandLineOptions.Clo.XmlSink != null) {

             if (CommandLineOptions.Clo.Trace) {