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/Provers/Z3/ProverInterface.cs b/Source/Provers/Z3/ProverInterface.cs
index 45f2d098..3718372b 100644
--- a/Source/Provers/Z3/ProverInterface.cs
+++ b/Source/Provers/Z3/ProverInterface.cs
@@ -296,7 +296,7 @@ REVERSE_IMPLIES=<bool>    Encode P==>Q as Q||!P.
       //Contract.Requires(expr != null);

       Contract.Ensures(Contract.Result<string>() != null);

 

-      DateTime start = DateTime.Now;

+      DateTime start = DateTime.UtcNow;

       if (CommandLineOptions.Clo.Trace)

         Console.Write("Linearising ... ");

 

@@ -349,7 +349,7 @@ REVERSE_IMPLIES=<bool>    Encode P==>Q as Q||!P.
       Contract.Assert(res!=null);

 

       if (CommandLineOptions.Clo.Trace) {

-        TimeSpan elapsed = DateTime.Now - start;

+        TimeSpan elapsed = DateTime.UtcNow - start;

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

       }

       return res;