projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4b1d52) | patch
bench: allow log directory to be placed elsewhere
authorBrian Norris <banorris@uci.edu>
Sat, 3 Nov 2012 03:14:31 +0000 (20:14 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 3 Nov 2012 03:14:31 +0000 (20:14 -0700)
commit74decfe4569dcbce42c34a3cfd74082e7c84ced9
tree6e10ff346de3bbe788b726e68bc658b2a13430c5tree | snapshot
parentb4b1d528f7d1db77448a389776ecd5c95da2084acommit | diff
bench: allow log directory to be placed elsewhere

Now, you can run:

  ./bench.sh <dir>

e.g.,

  ./bench.sh /tmp

Will create a directory /tmp/run-<date-time> for the logs.
bench.sh diff | blob | history
C++11 memory model checker benchmarks