From a1ff7995b291d72fc537e3a67a4216827d8570fa Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Fri, 28 Jun 2019 16:50:00 -0700
Subject: [PATCH] Adding run scripts.

---
 examples/run.sh | 2 ++
 run.sh          | 2 ++
 2 files changed, 4 insertions(+)
 create mode 100755 examples/run.sh
 create mode 100755 run.sh

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
-- 
2.34.1