X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=bench.sh;h=8886bccaf385f502c22a2d3ee904744d730a1000;hp=8337ab3ff0dfb76057f1d4e9cc15da61f1563f14;hb=1c06f3210549c537772708197b8b6341f6fafe35;hpb=b4b1d528f7d1db77448a389776ecd5c95da2084a diff --git a/bench.sh b/bench.sh index 8337ab3..8886bcc 100755 --- a/bench.sh +++ b/bench.sh @@ -1,14 +1,20 @@ #!/bin/bash # A (work-in-progress) test script for running our benchmarks -# Runs all tests, logging output to a directory named 'run-' +# Runs all tests, logging output to a directory named +# '${BASEDIR}/run-', where ${BASEDIR} is either the current +# directory or the first parameter to this script ## Unfinished benchmarks - do not use # queue williams-queue DATECMD="date +%Y-%m-%d-%R" DATE="`${DATECMD}`" -DIR="run-${DATE}" +BASEDIR=. + +[ $# -gt 0 ] && [ -d "$1" ] && BASEDIR="$1" && shift + +DIR="${BASEDIR}/run-${DATE}" TESTS="barrier/barrier mcs-lock/mcs-lock spsc-queue/spsc-queue mpmc-queue/mpmc-1r2w mpmc-queue/mpmc-2r1w mpmc-queue/mpmc-queue linuxrwlocks/linuxrwlocks" MODEL_ARGS="-f 4 -m 2"