X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=run.sh;fp=run.sh;h=9c7af2fb5f4e9bd1283d22975cf6b9c020ae8afe;hb=8cc80ac1e6bcacda869efce26b2cc58c7b2a6685;hp=0000000000000000000000000000000000000000;hpb=be5073a74591e8a9708219dac0da7217c0800ba2;p=model-checker.git

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