From 133dac43b2d0daa022bfe26ab15bcdfaf75eae0e Mon Sep 17 00:00:00 2001
From: Pantazis Deligiannis <pdeligia@me.com>
Date: Mon, 19 Aug 2013 11:20:18 +0100
Subject: new option for reversing the topological order - this could
 potentially help to speedup houdini refutation of candidates

---
 Source/Core/CommandLineOptions.cs | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'Source/Core/CommandLineOptions.cs')

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 22d48af0..2240c201 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -399,6 +399,7 @@ namespace Microsoft.Boogie {
     public bool ExplainHoudini = false;
     public bool HoudiniOutputRefutedCandidates = false;
     public bool DisableLoopInvMaintainedAssert = false;
+    public bool ReverseTopologicalSorting = false;
     public bool DebugParallelHoudini = false;
     public bool HoudiniUseCrossDependencies = false;
     public string StagedHoudini = null;
@@ -1180,6 +1181,12 @@ namespace Microsoft.Boogie {
           }
           return true;
 
+        case "reverseTopologicalSorting":
+          if (ps.ConfirmArgumentCount(0)) {
+            ReverseTopologicalSorting = true;
+          }
+          return true;
+
         case "debugParallelHoudini":
           if (ps.ConfirmArgumentCount(0)) {
             DebugParallelHoudini = true;
@@ -1677,7 +1684,10 @@ namespace Microsoft.Boogie {
                 Outputs the refuted candidates
   /disableLoopInvMaintainedAssert
                 Disables the loop invariant check to maintain the invariant after iteration.
-                This is an under-approximation feature.
+                This is an under-approximation feature
+  /reverseTopologicalSorting
+                Reverses the order that roots are found in the Topological Sorting algorithm.
+                Can be used to potentially change the order that Houdini refutes candidates
 
   ---- Debugging and general tracing options ---------------------------------
 
-- 
cgit v1.2.3