projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d459524) | patch
run.sh: sync up run script with model-checker
authorBrian Norris <banorris@uci.edu>
Thu, 6 Dec 2012 23:03:21 +0000 (15:03 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Dec 2012 23:03:21 +0000 (15:03 -0800)
commit43d5b7da66c7ef82af941805564db860191cf157
tree49acdc4f02c904ca15e803a0fe019da17c4b5b4etree | snapshot
parentd459524c3fb7a3fd79d019931b7303c1a74b04b4commit | diff
run.sh: sync up run script with model-checker

I improved the model-checker.git run script, so paste over the changes.
run.sh diff | blob | history
C++11 memory model checker benchmarks