From ae2b9e637a608626b66bae0824a2bcf616bdb4ed Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Fri, 23 Jan 2015 14:12:41 +0000
Subject: Fixes to StagedHoudini

---
 Source/Houdini/AnnotationDependenceAnalyser.cs | 1 +
 Source/Houdini/StagedHoudini.cs                | 6 ++++++
 2 files changed, 7 insertions(+)

(limited to 'Source/Houdini')

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)
-- 
cgit v1.2.3