Option for reversing Houdini worklist (for top-down analysis)

1 files changed, 2 insertions, 0 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 09549e55..a4374623 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -397,6 +397,7 @@ namespace Microsoft.Boogie {
     public bool IntraproceduralInfer = true;

     public bool ContractInfer = false;

     public bool ExplainHoudini = false;

+    public bool ReverseHoudiniWorklist = false;

     public bool ConcurrentHoudini = false;

     public bool ModifyTopologicalSorting = false;

     public bool DebugConcurrentHoudini = false;

@@ -1362,6 +1363,7 @@ namespace Microsoft.Boogie {
               ps.CheckBooleanFlag("doNotUseLabels", ref UseLabels, false) ||

               ps.CheckBooleanFlag("contractInfer", ref ContractInfer) ||

               ps.CheckBooleanFlag("explainHoudini", ref ExplainHoudini) ||

+              ps.CheckBooleanFlag("reverseHoudiniWorklist", ref ReverseHoudiniWorklist) ||

               ps.CheckBooleanFlag("crossDependencies", ref HoudiniUseCrossDependencies) ||

               ps.CheckBooleanFlag("useUnsatCoreForContractInfer", ref UseUnsatCoreForContractInfer) ||

               ps.CheckBooleanFlag("printAssignment", ref PrintAssignment) ||