diff options
Diffstat (limited to 'samples/test_all.sh')
-rwxr-xr-x | samples/test_all.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/samples/test_all.sh b/samples/test_all.sh new file mode 100755 index 0000000..45b85ae --- /dev/null +++ b/samples/test_all.sh @@ -0,0 +1,25 @@ +#!/bin/sh + +if [ -z "$1" ]; then + echo "Usage: $0 <reducer>" + exit 1 +fi + +echo "# useful for run the tests of all samples at once" >All.bruijn +echo >>All.bruijn + +FILES="$(find euler fun rosetta -type f -name "*.bruijn")" + +for f in $FILES; do + echo ":import ${f%*.bruijn} ." >>All.bruijn +done + +# for ci, just run `bruijn All.bruijn` +echo >>All.bruijn +echo "main [[0]]" >>All.bruijn + +if cat /dev/null | bruijn -v All.bruijn -r "$1" | tee /dev/fd/2 | grep -q "ERROR"; then + exit 1 +fi + +# hyperfine --warmup 5 --runs 20 "cat /dev/null | bruijn -r $1 All.bruijn" |