more changes towards parallelisation of Houdini

1 files changed, 4 insertions, 2 deletions

diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs
index 60ab6a25..12c972f3 100644
--- a/Source/Houdini/Houdini.cs
+++ b/Source/Houdini/Houdini.cs
@@ -321,6 +321,8 @@ namespace Microsoft.Boogie.Houdini {
 

     public static TextWriter explainHoudiniDottyFile;

 

+    protected Houdini() { }

+

     public Houdini(Program program, HoudiniSession.HoudiniStatistics stats, string cexTraceFile = "houdiniCexTrace.bpl") {

       this.program = program;

       this.cexTraceFile = cexTraceFile;

@@ -377,7 +379,7 @@ namespace Microsoft.Boogie.Houdini {
       }

     }

 

-    private void Inline() {

+    protected void Inline() {

       if (CommandLineOptions.Clo.InlineDepth < 0)

         return;

 

@@ -434,7 +436,7 @@ namespace Microsoft.Boogie.Houdini {
       }

     }

 

-    private HashSet<Variable> CollectExistentialConstants() {

+    protected HashSet<Variable> CollectExistentialConstants() {

       HashSet<Variable> existentialConstants = new HashSet<Variable>();

       foreach (Declaration decl in program.TopLevelDeclarations) {

         Constant constant = decl as Constant;