diff options
author | Ally Donaldson <unknown> | 2015-01-23 14:12:41 +0000 |
---|---|---|
committer | Ally Donaldson <unknown> | 2015-01-23 14:12:41 +0000 |
commit | ae2b9e637a608626b66bae0824a2bcf616bdb4ed (patch) | |
tree | 62900bd73079b9a8fbae60e021d810c032947d8e /Source/Houdini/StagedHoudini.cs | |
parent | 22ec7485362d7da6e19cab411d0805f4f128acc8 (diff) |
Fixes to StagedHoudini
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)
|