Adding run scripts.

[jpf-core.git] / examples / run.sh

diff --git a/examples/run.sh b/examples/run.sh
new file mode 100755 (executable)
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