changes to support a configured errorLimit

1 files changed, 1 insertions, 2 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 5f60d93e..dd512c96 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -398,7 +398,6 @@ namespace Microsoft.Boogie {
     public bool ContractInfer = false;

     public bool ExplainHoudini = false;

     public bool ConcurrentHoudini = false;

-    public bool DisableLoopInvMaintainedAssert = false;

     public bool ModifyTopologicalSorting = false;

     public bool DebugParallelHoudini = false;

     public bool HoudiniUseCrossDependencies = false;

@@ -649,10 +648,10 @@ namespace Microsoft.Boogie {
 

     public class ConcurrentHoudiniOptions

     {

+      public List<string> ProverOptions = new List<string>();

       public int ProverCCLimit = 5;

       public bool DisableLoopInvMaintainedAssert = false;

       public bool ModifyTopologicalSorting = false;

-      public int LoopUnrollCount = -1;

     }

     public List<ConcurrentHoudiniOptions> Cho = new List<ConcurrentHoudiniOptions>();