run.sh: support running from a different directory
run.sh: set Mac OSX DYLD_LIBRARY_PATH DYLD_LIBRARY_PATH is the Mac OSX equivalent of Unix LD_LIBRARY_PATH.
run.sh: don't silently ignore a non-executable file argument If we use a file which exists but is not executable as an argument to run.sh, run.sh will silently ignore it. This is wrong. Instead, just check for existence of the file (or directory), and error out with a "Permission denied" message later, when we try to run it.
run.sh: print the command that runs This will help understanding typos, script bugs, etc.
run.sh: rewrite script to handle options more gracefully Now you can do: ./run.sh [OPTIONS] without having to specify a particular program (defaults to ./test/userprog.o).
run.sh: pass command-line arguments through to test program Once the model-checker begins handling arguments, we should pass through arguments to the program.
run.sh: fixup run script run.sh will, by default, run ./test/userprog.o now. This can be modified later to provide several regression tests in-tree, with scripted execution of the tests.
run.sh: provide gdb option
run.sh: don't touch my run script subramanian
setup main wrapper and then call into norris code
Adding STL stuff and operator news of snapshot to model-checker. Need to actuallly find the hooks which do the actual snapshotting
run.sh: add simple 'run' script Performs the step of setting LD_LIBRARY_PATH for simple runs.