### PreciseRaceDetector
# we don't check for races in standard libraries
-race.exclude=java.*,javax.*
+race.exclude=java.*,javax.*,groovy.*,org.*
############################### 5. test part #############################
#!/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