Limiting iteration for now (DFSearch strategy would just go deep unceasingly); Comple...

[smartthings-infrastructure.git] / run.sh

diff --git a/run.sh b/run.sh
new file mode 100755 (executable)
index 0000000..7ba9baa
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,2 @@
+#!/bin/bash
+python ModelCheck.py ../jpf-core/ ../logs/ ../smartapps/ ../smartapps/appList1