diff --git a/bin/build.cmd b/bin/build.cmd
index 0da952be..ab2722ee 100755
--- 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
index 019e3ab4..c9a7e634 100644
--- 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
   }