Debugging command.
authorrtrimana <rtrimana@uci.edu>
Wed, 31 Jul 2019 22:30:39 +0000 (15:30 -0700)
committerrtrimana <rtrimana@uci.edu>
Wed, 31 Jul 2019 22:30:39 +0000 (15:30 -0700)
debug.sh [new file with mode: 0755]

diff --git a/debug.sh b/debug.sh
new file mode 100755 (executable)
index 0000000..5811a27
--- /dev/null
+++ b/debug.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+java -classpath bin/main:lib/jpf.jar:../jpf-core/lib/groovy-2.5.7/:../jpf-core/lib/groovy-dateutil-2.5.7/:../jpf-core/lib/groovy-json-2.5.7/ main