diff options
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.cs')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 4 |
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) {
|