projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 222118f) | patch
run.sh: rewrite script to handle options more gracefully
authorBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 00:39:36 +0000 (16:39 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 00:39:36 +0000 (16:39 -0800)
commit6c50e3a2f6975a2f5c225351eb33218fcfefa1e7
tree947fef4293fa514e3cbbbd0d29e8023afd279b2atree | snapshot
parent222118f318e4788839083a6d99aa7309246243e7commit | diff
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 diff | blob | history
C++11 memory model checker