diff options
Diffstat (limited to 'Source/Houdini')
| -rw-r--r-- | Source/Houdini/Checker.cs | 4 | ||||
| -rw-r--r-- | Source/Houdini/Houdini.cs | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/Source/Houdini/Checker.cs b/Source/Houdini/Checker.cs index 1cb27648..08d8346a 100644 --- a/Source/Houdini/Checker.cs +++ b/Source/Houdini/Checker.cs @@ -52,11 +52,11 @@ namespace Microsoft.Boogie.Houdini { collector.examples.Clear();
VCExpr vc = checker.VCExprGen.Implies(axiom, conjecture);
- DateTime now = DateTime.Now;
+ DateTime now = DateTime.UtcNow;
checker.BeginCheck(descriptiveName, vc, handler);
WaitHandle.WaitAny(new WaitHandle[] { checker.ProverDone });
ProverInterface.Outcome proverOutcome = checker.ReadOutcome();
- proverTime += (DateTime.Now - now).TotalSeconds;
+ proverTime += (DateTime.UtcNow - now).TotalSeconds;
numProverQueries++;
if (proverOutcome == ProverInterface.Outcome.Invalid) {
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index 2ed147d1..1f3909e4 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -103,14 +103,14 @@ namespace Microsoft.Boogie.Houdini { times = new IterationTimer<string>();
}
public override void UpdateIteration() {
- startT = DateTime.Now;
+ startT = DateTime.UtcNow;
}
public override void UpdateImplementation(Implementation implementation) {
curImp = implementation;
}
public override void UpdateOutcome(ProverInterface.Outcome o) {
Contract.Assert(curImp != null);
- DateTime endT = DateTime.Now;
+ DateTime endT = DateTime.UtcNow;
times.AddTime(curImp.Name, (endT - startT).TotalMilliseconds); // assuming names are unique
}
public void PrintTimes() {
@@ -1031,7 +1031,7 @@ namespace Microsoft.Boogie.Houdini { private void DebugRefutedCandidates(Implementation curFunc, List<Counterexample> errors) {
XmlSink xmlRefuted = CommandLineOptions.Clo.XmlRefuted;
if (xmlRefuted != null && errors != null) {
- DateTime start = DateTime.Now;
+ DateTime start = DateTime.UtcNow;
xmlRefuted.WriteStartMethod(curFunc.ToString(), start);
foreach (Counterexample error in errors) {
@@ -1043,7 +1043,7 @@ namespace Microsoft.Boogie.Houdini { if (ae != null) PrintRefutedAssert(ae, xmlRefuted);
}
- DateTime end = DateTime.Now;
+ DateTime end = DateTime.UtcNow;
xmlRefuted.WriteEndMethod("errors", end, end.Subtract(start));
}
}
|