projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69779fd) | patch
bench: send timings to stdout, not stderr
authorBrian Norris <banorris@uci.edu>
Sat, 3 Nov 2012 02:37:20 +0000 (19:37 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 3 Nov 2012 02:37:20 +0000 (19:37 -0700)
commitb4b1d528f7d1db77448a389776ecd5c95da2084a
tree0adf50bcad17799688d316d940a97152bde54dcatree | snapshot
parent69779fd7948b7b286d28ef17ed5abd655a73c52ecommit | diff
bench: send timings to stdout, not stderr
bench.sh diff | blob | history
C++11 memory model checker benchmarks