Fixes to StagedHoudini

2 files changed, 7 insertions, 0 deletions

diff --git a/Source/Houdini/AnnotationDependenceAnalyser.cs b/Source/Houdini/AnnotationDependenceAnalyser.cs
index 1d12b6b1..e925d413 100644
--- a/Source/Houdini/AnnotationDependenceAnalyser.cs
+++ b/Source/Houdini/AnnotationDependenceAnalyser.cs
@@ -460,6 +460,7 @@ namespace Microsoft.Boogie.Houdini {
 

         if (NoStages())

         {

+          Debug.Assert(false);

           var TrivialGraph = new Graph<ScheduledStage>();

           TrivialGraph.AddSource(new ScheduledStage(0, new HashSet<string>()));

           return new StagedHoudiniPlan(TrivialGraph);

diff --git a/Source/Houdini/StagedHoudini.cs b/Source/Houdini/StagedHoudini.cs
index 40a750bb..27481e4f 100644
--- a/Source/Houdini/StagedHoudini.cs
+++ b/Source/Houdini/StagedHoudini.cs
@@ -188,6 +188,12 @@ namespace Microsoft.Boogie.Houdini
         Item => plan.GetDependences(s).Contains(Item.stage)).

           Select(Item => Item.parallelTask).ToArray());

 

+      if(s.Count() == 0) {

+        // This is the trivial first stage, so don't launch Houdini;

+        // give this a null outcome

+        return;

+      }

+

       List<Houdini> h = AcquireHoudiniInstance();

 

       if (h.Count() == 0)