new option for reversing the topological order - this could potentially help to speedup houdini refutation of candidates

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);