From 7e8e980599678d85e7ceb39d115c1ea640de4513 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 25 Feb 2024 14:04:32 +0100
Subject: Added ION tests

Will fail though
---
 std/test_all.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'std/test_all.sh')

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"
-- 
cgit v1.2.3