Set test stack size to 4M.

sireum · Mar 17, 2024 · fa157e7 · fa157e7
1 parent 7c71fad
commit fa157e7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/bin/build.cmd b/bin/build.cmd
@@ -149,7 +149,7 @@ def compile(): Unit = {
 def test(): Unit = {
   compile()
   println("Running shared tests ...")
-  Os.proc(ISZ(mill.string, "logika.jvm.tests")).at(home).console.runCheck()
+  Os.proc(ISZ(mill.string, "logika.jvm.tests")).env(ISZ("JAVA_OPTS" ~> "-Xss4M")).at(home).console.runCheck()
   println()
 }
 

diff --git a/jvm/src/test/scala/org/sireum/logika/LogikaRcTest.scala b/jvm/src/test/scala/org/sireum/logika/LogikaRcTest.scala
@@ -51,7 +51,6 @@ class LogikaRcTest extends SireumRcSpec {
     name match {
     case "opsem.sc" | "opsem-alt.sc" => Os.isMac && isInGithubAction
     case "conformance-swap.sc" => isSimplified
-    case "list.sc" => isInGithubAction
     case "strictpure.sc" => Os.isWin && isInGithubAction && !isSimplified
     case _ => false
   }