run.sh: add simple 'run' script

[model-checker.git] / run.sh

diff --git a/run.sh b/run.sh
new file mode 100755 (executable)
index 0000000..9c7af2f
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+export LD_LIBRARY_PATH=.
+./model