Adding more memory to the run.
authorrtrimana <rtrimana@uci.edu>
Mon, 8 Jul 2019 22:16:45 +0000 (15:16 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 8 Jul 2019 22:16:45 +0000 (15:16 -0700)
jpf.properties
run.sh

index 0bdb036..f4f093d 100644 (file)
@@ -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 (executable)
--- 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