projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c111347) | patch
bench.sh: change max-reads=2, log to directory
authorBrian Norris <banorris@uci.edu>
Sat, 3 Nov 2012 00:39:20 +0000 (17:39 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 3 Nov 2012 00:55:04 +0000 (17:55 -0700)
commitac289415795f6d44f198bf5e11cbfc5e0d0e475d
tree3fdfed93e5ca317feeae8eeeffe8a30b6ab7897btree | snapshot
parentc111347c69f21c5363938e598451571109ed9dbecommit | diff
bench.sh: change max-reads=2, log to directory

Pass '-m 2' argument to the model-checker

bench.sh sends all logs to a date-named directory now
bench.sh diff | blob | history
C++11 memory model checker benchmarks