Initial import

[jpf-core.git] / bin / print_events

diff --git a/bin/print_events b/bin/print_events
new file mode 100755 (executable)
index 0000000..3c95eb7
--- /dev/null
+++ b/bin/print_events
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+JPF_HOME=`dirname "$0"`/..
+
+java -classpath "$JPF_HOME/build/jpf.jar" gov.nasa.jpf.tool.PrintEvents "$@"