diff options
Diffstat (limited to 'benchmarks/by-n/run.sh')
| -rwxr-xr-x | benchmarks/by-n/run.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/benchmarks/by-n/run.sh b/benchmarks/by-n/run.sh new file mode 100755 index 0000000..65f7af8 --- /dev/null +++ b/benchmarks/by-n/run.sh @@ -0,0 +1,11 @@ +#!/bin/env sh + +rm -rf temp.bruijn *.json +for file in $(find . -type f -name "*.bruijn" | sort); do + echo "testing $file" + spec=$(head -n 1 "$file") + range=${spec#??} + nseq=$(seq -s, $range) # requires splitting, no quotes! + reducers=$(find ../../src/Reducer/ -type f -name "*.hs" -exec basename {} .hs \; | paste -sd, -) + hyperfine --export-json "$file.json" --warmup 3 -r 3 -L REDUCER "$reducers" -L N $nseq "BENCH_N={N} envsubst <$file >temp.bruijn; bruijn -y -r {REDUCER} temp.bruijn </dev/null &>/dev/null;" +done |