diff options
| author |  Ally Donaldson <unknown> | 2014-05-27 20:31:23 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2014-05-27 20:31:23 +0100 |
| commit | b36ca0d44cc409a60b2424c74b0f1e2ada6a6c70 (patch) | |
| tree | f233b137d105b95b857bd02e647f0ddcdc9dca11 | |
| parent | 9e32dbcec6b3c92b4260c49b6610ae84ade73e43 (diff) | |
Fixed state capture concurrency bug with Staged Houdini
| -rw-r--r-- | Source/Houdini/StagedHoudini.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Houdini/StagedHoudini.cs b/Source/Houdini/StagedHoudini.cs index 39915f7f..c306afd8 100644 --- a/Source/Houdini/StagedHoudini.cs +++ b/Source/Houdini/StagedHoudini.cs @@ -49,9 +49,9 @@ namespace Microsoft.Boogie.Houdini #region Prepare the tasks, but do not launch them
foreach (var s in plan) {
Debug.Assert(!plan.GetDependences(s).Contains(s));
- tasks.Add(new StagedHoudiniTask(s, new Task(() => {
- ExecuteStage(s);
- }, TaskCreationOptions.LongRunning)));
+ tasks.Add(new StagedHoudiniTask(s, new Task(o => {
+ ExecuteStage((ScheduledStage)o);
+ }, s, TaskCreationOptions.LongRunning)));
}
#endregion
|