From: rtrimana <rtrimana@uci.edu>
Date: Fri, 28 Jun 2019 23:50:00 +0000 (-0700)
Subject: Adding run scripts.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a1ff7995b291d72fc537e3a67a4216827d8570fa;p=jpf-core.git

Adding run scripts.
---

diff --git a/examples/run.sh b/examples/run.sh
new file mode 100755
index 0000000..88ab09c
--- /dev/null
+++ b/examples/run.sh
@@ -0,0 +1,2 @@
+#!/bin/bash
+java -classpath ../build/jpf.jar gov.nasa.jpf.JPF +classpath=.:./groovy-2.5.7 $1
diff --git a/run.sh b/run.sh
new file mode 100755
index 0000000..85733b1
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,2 @@
+#!/bin/bash
+java -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:examples/groovy-2.5.7 $1