From 5aead3076218be626a6b4fe36c1a08d5450db65b Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Wed, 31 Jul 2019 15:30:39 -0700
Subject: [PATCH] Debugging command.

---
 debug.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 debug.sh

diff --git a/debug.sh b/debug.sh
new file mode 100755
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
-- 
2.34.1