diff options
| author |  Valentin Wüstholz <wuestholz@gmail.com> | 2015-06-05 12:09:49 +0200 |
|---|---|---|
| committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-06-05 12:09:49 +0200 |
| commit | 82bf08e30124735b41ea901530ce40ef4944c9c9 (patch) | |
| tree | baab5993e39df307768ef13f12f5d8f3a72dba07 /Source/ExecutionEngine | |
| parent | b42d69a32e0e3a8132fd4b1288618fe4a7392eb6 (diff) | |
Improve support for diagnosing timeouts.
Diffstat (limited to 'Source/ExecutionEngine')
| -rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index 31a69c6e..67ce49a5 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -968,7 +968,7 @@ namespace Microsoft.Boogie {
semaphore.Release();
}
- }, cts.Token, TaskCreationOptions.LongRunning);
+ }, cts.Token, TaskCreationOptions.None);
tasks[taskIndex] = t;
}
|