Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
[model-checker.git] / run.sh
1 #!/bin/sh
2 export LD_LIBRARY_PATH=.
3
4 if [ $# -gt 0 ]; then
5         if [ "$1" = "gdb" ]; then
6                 gdb ./model
7         else
8                 echo "Invalid argument(s)"
9                 exit 1
10         fi
11 else
12         ./model
13 fi