Increase stack size

sakehl · May 6, 2024 · 8b621c8 · 8b621c8
1 parent 3452dc0
commit 8b621c8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.mill-jvm-opts b/.mill-jvm-opts
@@ -1,2 +1,2 @@
--Xss32m
+-Xss128m
 -Xmx2G
diff --git a/mill-build/util/src/util/JavaModule.scala b/mill-build/util/src/util/JavaModule.scala
@@ -6,7 +6,7 @@ import scalalib.{JavaModule => BaseJavaModule}
 trait JavaModule extends BaseJavaModule {
   // https://github.com/viperproject/silicon/issues/748
   // 32MB is enough stack space for silicon, a 100% marco guarantee
-  override def forkArgs = Seq("-Xmx2G", "-Xss32m")
+  override def forkArgs = Seq("-Xmx2G", "-Xss128m")
 
   def classPathFileElements = T { runClasspath().map(_.path.toString) }
-Original file line number
+Diff line change
@@ -1,2 +1,2 @@
-    -Xss32m
+    -Xss128m
     -Xmx2G