From d26573d4b21c193d4973eda8936f39bd39a9e15c Mon Sep 17 00:00:00 2001 From: rtrimana Date: Tue, 30 Jul 2019 10:34:24 -0700 Subject: [PATCH] Adding a new library into the runtime path. --- lib/README | 2 +- run.sh | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/lib/README b/lib/README index 843b47d..ad0d8fe 100644 --- 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 e97f671..48d756b 100755 --- 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 -- 2.34.1