projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43d5b7d) | patch
bench.sh: don't 'grep' output
authorBrian Norris <banorris@uci.edu>
Tue, 11 Dec 2012 08:44:08 +0000 (00:44 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 11 Dec 2012 08:44:08 +0000 (00:44 -0800)
commit82708472c7511ab11a613c010595ff1864b1c8ac
tree789a34d927fcfff448e85aaa79a8663de63800edtree | snapshot
parent43d5b7da66c7ef82af941805564db860191cf157commit | diff
bench.sh: don't 'grep' output

Model-checker output is concise now, so don't trim it.
bench.sh diff | blob | history
C++11 memory model checker benchmarks