From 6fd0b4a6d9bd4efbd1b7771231b10744cc528851 Mon Sep 17 00:00:00 2001
From: Jan Waller <jwa@informatik.uni-kiel.de>
Date: Tue, 27 May 2014 16:01:56 +0200
Subject: [PATCH] minor changes in scripts for SPASSmeter

---
 bin/r/stats.r                             | 2 ++
 frameworks/SPASSmeter/benchmark-causes.sh | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/bin/r/stats.r b/bin/r/stats.r
index d015597..f16ac7a 100644
--- a/bin/r/stats.r
+++ b/bin/r/stats.r
@@ -3,6 +3,8 @@
 #folder_fn="results-benchmark-binary"
 #results_fn=paste(data_fn,folder_fn,"/raw",sep="")
 #outtxt_fn=paste(data_fn,folder_fn,"/results-text.txt",sep="")
+#results_fn="raw"
+#outtxt_fn="results-text.txt"
 
 configs.threads=1
 #configs.loop=10
diff --git a/frameworks/SPASSmeter/benchmark-causes.sh b/frameworks/SPASSmeter/benchmark-causes.sh
index 8301d7d..512b5b7 100644
--- a/frameworks/SPASSmeter/benchmark-causes.sh
+++ b/frameworks/SPASSmeter/benchmark-causes.sh
@@ -32,7 +32,7 @@ RAWFN="${RESULTSDIR}raw"
 
 JAVAARGS="-server"
 JAVAARGS="${JAVAARGS} -d64"
-JAVAARGS="${JAVAARGS} -Xms1G -Xmx4G"
+JAVAARGS="${JAVAARGS} -Xms1G -Xmx12G"
 JAVAARGS="${JAVAARGS} -verbose:gc -XX:+PrintCompilation"
 #JAVAARGS="${JAVAARGS} -XX:+PrintInlining"
 #JAVAARGS="${JAVAARGS} -XX:+UnlockDiagnosticVMOptions -XX:+LogCompilation"
-- 
GitLab