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

1 files changed, 6 insertions, 1 deletions

diff --git a/Source/Core/DeadVarElim.cs b/Source/Core/DeadVarElim.cs
index 9d20c15e..86a3e599 100644
--- a/Source/Core/DeadVarElim.cs
+++ b/Source/Core/DeadVarElim.cs
@@ -372,7 +372,12 @@ namespace Microsoft.Boogie {
         }

       }

 

-      IEnumerable<Block> sortedNodes = dag.TopologicalSort();

+      IEnumerable<Block> sortedNodes;

+      if (CommandLineOptions.Clo.ReverseTopologicalSorting) {

+        sortedNodes = dag.TopologicalSort(true);

+      } else {

+        sortedNodes = dag.TopologicalSort();

+      }

       foreach (Block/*!*/ block in sortedNodes) {

         Contract.Assert(block != null);

         HashSet<Variable/*!*/>/*!*/ liveVarsAfter = new HashSet<Variable/*!*/>();