diff options
author | Pantazis Deligiannis <pdeligia@me.com> | 2013-08-19 11:20:18 +0100 |
---|---|---|
committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-08-19 11:20:18 +0100 |
commit | 133dac43b2d0daa022bfe26ab15bcdfaf75eae0e (patch) | |
tree | 82705cc27b6d5d0c06212d7a006a9a30bcfe9ff0 /Source/Houdini | |
parent | 819c1f07fe1e0244e14306ad1dee213a9a034f1e (diff) |
new option for reversing the topological order - this could potentially help to speedup houdini refutation of candidates
Diffstat (limited to 'Source/Houdini')
-rw-r--r-- | Source/Houdini/Houdini.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index 486f75bf..23967f02 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -822,7 +822,11 @@ namespace Microsoft.Boogie.Houdini { }
}
+ int start = Environment.TickCount;
refutedAnnotations = ExchangeRefutedAnnotations(refutedAnnotations);
+ int duration = Environment.TickCount - start;
+ if (CommandLineOptions.Clo.DebugParallelHoudini)
+ Console.WriteLine("*** Exchange of Refuted Candidates: " + duration + " ms ***");
foreach (RefutedAnnotation refAnnot in refutedAnnotations) {
AddRelatedToWorkList(refAnnot);
|