diff options
author | BarryBo <barrybo@microsoft.com> | 2016-07-22 15:27:54 -0700 |
---|---|---|
committer | BarryBo <barrybo@microsoft.com> | 2016-07-22 15:27:54 -0700 |
commit | 2edc4a4e70b9dcf6fc91ddcc07fd500b705de5d2 (patch) | |
tree | 3d06ac193219915b2f43320bd91402115b44fa05 /Source/ExecutionEngine/ExecutionEngine.csproj | |
parent | 0632d3956b7cd10cdc4975cdfc669b73892a121d (diff) |
Run Boogie code on threads with large stacks
Replace TaskScheduler.Default by a custom TaskScheduler. The .Default
uses threadpool threads whose stack size is controlled by the host EXE
header. The new ThreadTaskScheduler give Boogie control over the stack
size, and defaults to 16mb.
Diffstat (limited to 'Source/ExecutionEngine/ExecutionEngine.csproj')
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.csproj b/Source/ExecutionEngine/ExecutionEngine.csproj index b17b1139..c715a631 100644 --- a/Source/ExecutionEngine/ExecutionEngine.csproj +++ b/Source/ExecutionEngine/ExecutionEngine.csproj @@ -131,6 +131,7 @@ <ItemGroup> <Compile Include="ExecutionEngine.cs" /> <Compile Include="Properties\AssemblyInfo.cs" /> + <Compile Include="ThreadTaskScheduler.cs" /> <Compile Include="VerificationResultCache.cs" /> </ItemGroup> <ItemGroup> |