Revision 7a044d56 benchmarks/aconjunctive_mu/bench_one_formula.sh
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