Adding a new library into the runtime path.

diff --git a/lib/README b/lib/README
index 843b47d04b72232582c50f9873a3d438028784d3..ad0d8fea7af18ada0c09563a6334728104a1b62b 100644 (file)
--- a/lib/README
+++ b/lib/README
@@ -1,3 +1,3 @@
-1) All JAR files need to be extracted into their directories.
+1) All JAR files need to be extracted into their directories (see run.sh for the necessary directory names).
 2) JPF is then given the paths to both directories to model-check Groovy apps.
 3) There might be some other libraries that Groovy apps might need and the JAR files can be found in the Groovy path on your system.

diff --git a/run.sh b/run.sh
index e97f671b2e09fa81a10759d9d00f8f224c374ac2..48d756b28e61f591c05192484a8621d0cb1a1fb0 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -1,5 +1,6 @@
 #!/bin/bash
-java -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:lib/groovy-dateutil-2.5.7:lib/groovy-2.5.7:../smartthings-infrastructure/bin/main/ +report.console.file=$1 $2
-#java -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:examples/groovy-2.5.7:../smartthings-infrastructure/bin/main/ +listener=.listener.VariableConflictTracker $1
+java -Xmx20g -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:lib/groovy-dateutil-2.5.7:lib/groovy-2.5.7:lib/groovy-json-2.5.7:../smartthings-infrastructure/bin/main/ +report.console.file=$1 $2
+#java -Xmx40g -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:lib/groovy-dateutil-2.5.7:lib/groovy-2.5.7:../smartthings-infrastructure/bin/main/ $1
+#java -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:examples/groovy-2.5.7:../smartthings-infrastructure/bin/main/ +listener=.listener.SearchStats $1
 #java -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:examples/groovy-2.5.7:../smartthings-infrastructure/bin/main/ $1
 #java -Xmx1024m -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:examples/groovy-2.5.7:../smartthings-infrastructure/bin/main/ $1