diff options
| -rw-r--r-- | .github/workflows/ci.yml | 6 | ||||
| -rwxr-xr-x | std/test_all.sh | 9 |
2 files changed, 11 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8267dba..920d50c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -18,5 +18,7 @@ jobs: run: sudo apt-get install hyperfine - name: Install bruijn run: stack install - - name: Run tests and measure time - run: cd std/ && ./test_all.sh + - name: Run RKNL tests and measure time + run: cd std/ && ./test_all.sh RKNL + - name: Run ION tests and measure time + run: cd std/ && ./test_all.sh ION diff --git a/std/test_all.sh b/std/test_all.sh index c6085df..c61a575 100755 --- a/std/test_all.sh +++ b/std/test_all.sh @@ -1,5 +1,10 @@ #!/bin/sh +if [ -z "$1" ]; then + echo "Usage: $0 <reducer>" + exit 1 +fi + echo "# useful for running all tests of the standard library" >All.bruijn echo >>All.bruijn @@ -13,8 +18,8 @@ done echo >>All.bruijn echo "main [[0]]" >>All.bruijn -if bruijn -v All.bruijn | tee /dev/fd/2 | grep -q "ERROR"; then +if bruijn -v All.bruijn -r "$1" | tee /dev/fd/2 | grep -q "ERROR"; then exit 1 fi -hyperfine "bruijn All.bruijn" +hyperfine --warmup 5 --runs 20 "bruijn -r $1 All.bruijn" |