diff options
author | Marvin Borner | 2024-02-25 14:04:32 +0100 |
---|---|---|
committer | Marvin Borner | 2024-02-25 14:04:32 +0100 |
commit | 7e8e980599678d85e7ceb39d115c1ea640de4513 (patch) | |
tree | 8b9efa0a83b858bd91a40547970e8ade9f36b3eb /std/test_all.sh | |
parent | 1354e62e2d9f7ea00e7361e6b7990d4e305928b6 (diff) |
Added ION tests
Will fail though
Diffstat (limited to 'std/test_all.sh')
-rwxr-xr-x | std/test_all.sh | 9 |
1 files changed, 7 insertions, 2 deletions
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" |