Increased stack size to 4M.

sireum · Mar 17, 2024 · 722e30e · 722e30e
1 parent 49de6ff
commit 722e30e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/bin/build.cmd b/bin/build.cmd
@@ -128,7 +128,7 @@ def compile(): Unit = {
     didCompile = T
     tipe()
     println("Compiling ...")
-    proc"java -Xss2M -jar $sireumJar proyek compile --project $projectStandalone $home".console.echo.runCheck()
+    proc"java -jar $sireumJar proyek compile --project $projectStandalone $home".console.echo.runCheck()
     println()
   }
 }
@@ -137,8 +137,8 @@ def compile(): Unit = {
 def test(): Unit = {
   compile()
   println("Running shared tests ...")
-  proc"java -Xss2M -jar $sireumJar proyek test --project $projectStandalone --packages org.sireum $home org.sireum.logika".
-    env(ISZ("JAVA_OPTS" ~> "-Xss2M")).console.echo.runCheck()
+  proc"java -Xss4M -jar $sireumJar proyek test --project $projectStandalone --packages org.sireum $home org.sireum.logika".
+    console.echo.runCheck()
   println()
 }