From d221678399a17c314492bfc711774674dd92e775 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 5 Nov 2023 12:58:45 +0100 Subject: [PATCH] better output --- run_tests.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/run_tests.sh b/run_tests.sh index 6c22c35..3df3d1e 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -9,10 +9,11 @@ while read -r instance opt; do if [ "$result" -eq "$opt" ]; then SUCC+=("$instance: $opt") + echo "$instance passed" else FAILED+=("$instance: $result/$opt") + echo "$instance failed: $result/$opt" fi - echo "$instance $result/$opt" done < tests.txt echo