From 2f0b2894c58caf402c6bee86eb80be83d45faa5e Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Mon, 8 Jul 2019 15:16:45 -0700
Subject: [PATCH] Adding more memory to the run.

---
 jpf.properties | 2 +-
 run.sh         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/jpf.properties b/jpf.properties
index 0bdb036..f4f093d 100644
--- a/jpf.properties
+++ b/jpf.properties
@@ -419,7 +419,7 @@ listener.gov.nasa.jpf.Const=gov.nasa.jpf.tools.ConstChecker
 ### PreciseRaceDetector
 
 # we don't check for races in standard libraries
-race.exclude=java.*,javax.*
+race.exclude=java.*,javax.*,groovy.*,org.*
 
 
 ############################### 5. test part #############################
diff --git a/run.sh b/run.sh
index 9a72f1f..276bd50 100755
--- a/run.sh
+++ b/run.sh
@@ -1,2 +1,2 @@
 #!/bin/bash
-java -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:examples/groovy-2.5.7:../smartthings-infrastructure $1
+java -Xmx1024m -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:examples/groovy-2.5.7:examples/main $1
-- 
2.34.1