From f9fadbc251c563bb30275db6e8260d4f4433b3aa Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Fri, 27 Feb 2015 14:25:25 +0100
Subject: [PATCH] Give more RAM for testing

---
 build.sbt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.sbt b/build.sbt
index 0c9dd4ca3..da45aba9e 100644
--- a/build.sbt
+++ b/build.sbt
@@ -14,6 +14,7 @@ scalacOptions ++= Seq(
 
 javacOptions += "-Xlint:unchecked"
 
+
 if(System.getProperty("sun.arch.data.model") == "64") {
   unmanagedBase <<= baseDirectory { base => base / "unmanaged" / "64" }
 } else {
@@ -36,7 +37,7 @@ logBuffered in Test := false
 
 testOptions in Test += Tests.Argument("-oDF")
 
-javaOptions in (Test,run) += "-Xss32M"
+javaOptions in (Test,run) ++= Seq("-Xss32M", "-Xmx3G")
 
 parallelExecution in test := false
 
-- 
GitLab