3 # Runs a simple test (default: ./test/userprog.o)
5 # ./run.sh [test program] [OPTIONS]
7 # ./run.sh [gdb [test program]]
9 # If you include a 'gdb' argument, the your program will be launched with gdb.
10 # You can also supply a test program argument to run something besides the
14 # Get the directory in which this script and the binaries are located
16 BINDIR=${HOME}/model-checker-priv/model-checker-priv
18 BIN=${BINDIR}/test/userprog.o
21 export LD_LIBRARY_PATH=${BINDIR}
23 export DYLD_LIBRARY_PATH=${BINDIR}
25 [ $# -gt 0 ] && [ "$1" = "gdb" ] && PREFIX=gdb && shift
26 [ $# -gt 0 ] && [ -e "$1" ] && BIN="$1" && shift