From 07c881995b132493e7f90cbf718a93bebb7fdc15 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 14 Sep 2015 15:39:39 +0200
Subject: [PATCH] Give more memory to sbt when running tests
---
.sbtopts | 2 ++
build.sbt | 6 +++---
2 files changed, 5 insertions(+), 3 deletions(-)
create mode 100644 .sbtopts
diff --git a/.sbtopts b/.sbtopts
new file mode 100644
index 000000000..86d71f9de
--- /dev/null
+++ b/.sbtopts
@@ -0,0 +1,2 @@
+-J-Xss64M
+-J-Xms1024M
diff --git a/build.sbt b/build.sbt
index 239628b2c..b82ddddc4 100644
--- a/build.sbt
+++ b/build.sbt
@@ -70,7 +70,7 @@ script := {
|
|SCALACLASSPATH="$paths"
|
- |java -Xmx2G -Xms512M -classpath $${SCALACLASSPATH} -Dscala.usejavacp=false scala.tools.nsc.MainGenericRunner -classpath $${SCALACLASSPATH} leon.Main $$@ 2>&1 | tee -i last.log
+ |java -Xmx2G -Xms512M -Xss64M -classpath $${SCALACLASSPATH} -Dscala.usejavacp=false scala.tools.nsc.MainGenericRunner -classpath $${SCALACLASSPATH} leon.Main $$@ 2>&1 | tee -i last.log
|""".stripMargin)
f.setExecutable(true)
} catch {
@@ -100,9 +100,9 @@ Keys.fork in run := true
lazy val testSettings = Seq(
//Keys.fork := true,
logBuffered := true,
- parallelExecution := true,
+ parallelExecution := true
//testForkedParallel := true,
- javaOptions ++= Seq("-Xss16M", "-Xmx4G")
+ //javaOptions ++= Seq("-Xss64M", "-Xmx4G")
)
// Unit Tests
--
GitLab