From: rtrimana <rtrimana@uci.edu>
Date: Wed, 31 Jul 2019 22:30:39 +0000 (-0700)
Subject: Debugging command.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5aead3076218be626a6b4fe36c1a08d5450db65b;p=smartthings-infrastructure.git

Debugging command.
---

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