Project

General

Profile

Revision 7a044d56 benchmarks/aconjunctive_mu/bench_one_formula.sh

View differences:

benchmarks/aconjunctive_mu/bench_one_formula.sh
52 52
function bench {
53 53
    i=1
54 54

  
55
    while timeout ${TIMEOUT} perf stat -o "${OUTPUT_BASE}/tmp.time" -r ${REPEATS} -n "$2" "$3" "$i" "${@:4}" > "${OUTPUT_BASE}/tmp.out" 2>&1; do
55
    while timeout ${TIMEOUT} perf stat -o "${OUTPUT_BASE}/tmp.time" -r ${REPEATS} "$2" "$3" "$i" "${@:4}" > "${OUTPUT_BASE}/tmp.out" 2>&1; do
56 56
	mv "${OUTPUT_BASE}/tmp.time" "${OUTPUT_BASE}/${FORMULA}-${i}-${1}.time";
57 57
	mv "${OUTPUT_BASE}/tmp.out" "${OUTPUT_BASE}/${FORMULA}-${i}-${1}.out";
58 58
	i=$(($i+1))

Also available in: Unified diff