diff --git a/bin/build.cmd b/bin/build.cmd index 0b097732..b4e1b892 100755 --- 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() }