Adapted Houdini algorithm to take staging into account

1 files changed, 5 insertions, 3 deletions

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 3e2b83de..a52d7f53 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -220,10 +220,12 @@ namespace Microsoft.Boogie {
               candidateDependenceAnalyser.ApplyStages();

               if (CommandLineOptions.Clo.Trace)

               {

-                  candidateDependenceAnalyser.dump();

+                candidateDependenceAnalyser.dump();

+                int oldPrintUnstructured = CommandLineOptions.Clo.PrintUnstructured;

+                CommandLineOptions.Clo.PrintUnstructured = 2;

+                PrintBplFile("staged.bpl", program, false, false);

+                CommandLineOptions.Clo.PrintUnstructured = oldPrintUnstructured;

               }

-              PrintBplFile("staged.bpl", program, false, false);

-              Environment.Exit(0);

           }

 

           int errorCount, verified, inconclusives, timeOuts, outOfMemories;