diff options
Diffstat (limited to 'Source/Houdini/StagedHoudini.cs')
-rw-r--r-- | Source/Houdini/StagedHoudini.cs | 6 |
1 files changed, 6 insertions, 0 deletions
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)
|