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

3 files changed, 6 insertions, 6 deletions

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index e837b16f..40492ce4 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -583,7 +583,7 @@ namespace Microsoft.Boogie.SMTLib
       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 ... ");

 

@@ -621,7 +621,7 @@ namespace Microsoft.Boogie.SMTLib
       Contract.Assert(res != null);

 

       if (CommandLineOptions.Clo.Trace) {

-        DateTime end = DateTime.Now;

+        DateTime end = DateTime.UtcNow;

         TimeSpan elapsed = end - start;

         if (elapsed.TotalSeconds > 0.5)

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

diff --git a/Source/Provers/TPTP/ProverInterface.cs b/Source/Provers/TPTP/ProverInterface.cs
index 662d45d3..b714ed67 100644
--- a/Source/Provers/TPTP/ProverInterface.cs
+++ b/Source/Provers/TPTP/ProverInterface.cs
@@ -201,7 +201,7 @@ USE_PREDICATES=<bool>     Try to use SMT predicates for functions returning bool
       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 ... ");

 

@@ -238,7 +238,7 @@ USE_PREDICATES=<bool>     Try to use SMT predicates for functions returning bool
       Contract.Assert(res != null);

 

       if (CommandLineOptions.Clo.Trace) {

-        DateTime end = DateTime.Now;

+        DateTime end = DateTime.UtcNow;

         TimeSpan elapsed = end - start;

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

       }

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;