Bump stack size as an experiment

dafny-lang · May 24, 2023 · 901a0bf · 901a0bf
1 parent 1dc38e5
commit 901a0bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyCore/DafnyMain.cs b/Source/DafnyCore/DafnyMain.cs
@@ -118,7 +118,7 @@ public class DafnyMain {
     }
 
     private static readonly TaskScheduler largeThreadScheduler =
-      CustomStackSizePoolTaskScheduler.Create(0x10000000, Environment.ProcessorCount);
+      CustomStackSizePoolTaskScheduler.Create(0x20000000, Environment.ProcessorCount);
 
     public static readonly TaskFactory LargeStackFactory = new(CancellationToken.None,
       TaskCreationOptions.DenyChildAttach, TaskContinuationOptions.None, largeThreadScheduler);