projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9c3e19) | patch
run.sh: pass command-line arguments through to test program
authorBrian Norris <banorris@uci.edu>
Wed, 8 Aug 2012 19:41:02 +0000 (12:41 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 11 Aug 2012 00:23:52 +0000 (17:23 -0700)
commitabcd7af73c22ea2e375bd14cd0cd101c7ece1bbc
tree80eb9825dcf565f1b53451704c6985113e10d1c9tree | snapshot
parenta9c3e198d59510a4edb3e740893b5ecf9f5d8fcfcommit | diff
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 diff | blob | history
C++11 memory model checker