projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8270847) | patch
bench.sh: don't run tests twice
authorBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 18:32:18 +0000 (10:32 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 18:32:18 +0000 (10:32 -0800)
commit1cfff06fd3e6941fa90ed54de27183062ddb1a6a
tree167999e7fb1374f71e317b4b8b84c05b4ebdeb72tree | snapshot
parent82708472c7511ab11a613c010595ff1864b1c8accommit | diff
bench.sh: don't run tests twice

Now that we don't print so much garbage by default, we don't need to run
our tests twice (once with log and once without).
bench.sh diff | blob | history
C++11 memory model checker benchmarks