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/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs
index f27da20e..6026b862 100644
--- a/Source/VCGeneration/VC.cs
+++ b/Source/VCGeneration/VC.cs
@@ -580,7 +580,7 @@ namespace VC {
             return false;

         }

 

-        DateTime start = DateTime.Now;

+        DateTime start = DateTime.UtcNow;

         if (CommandLineOptions.Clo.Trace) {

           System.Console.Write("    soundness smoke test #{0} ... ", id);

         }

@@ -620,7 +620,7 @@ namespace VC {
         ProverInterface.Outcome outcome = ch.ReadOutcome();

         parent.CurrentLocalVariables = null;

 

-        DateTime end = DateTime.Now;

+        DateTime end = DateTime.UtcNow;

         TimeSpan elapsed = end - start;

         if (CommandLineOptions.Clo.Trace) {

           System.Console.WriteLine("  [{0} s] {1}", elapsed.TotalSeconds,