From: rtrimana Date: Wed, 24 Jul 2019 19:39:35 +0000 (-0700) Subject: Adding options to run.sh for automation. X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=0cf3fbd9b98e00a6aa3c7a8db32b7853569802b3;hp=db8159df12d7899302779f9c2c85f410f91904b1 Adding options to run.sh for automation. --- 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