From 0cf3fbd9b98e00a6aa3c7a8db32b7853569802b3 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Wed, 24 Jul 2019 12:39:35 -0700 Subject: [PATCH] Adding options to run.sh for automation. --- run.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/run.sh b/run.sh index 63bf991..e97f671 100755 --- a/run.sh +++ b/run.sh @@ -1,4 +1,5 @@ #!/bin/bash -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 -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 -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