From 5582235bd300f8de997192f9109d596d12df4bbe Mon Sep 17 00:00:00 2001
From: Rose Hogenson <rosehogenson@posteo.net>
Date: Fri, 16 May 2025 16:54:17 -0700
Subject: Fix spelling of file names

---
 run-tests.fish | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 run-tests.fish

(limited to 'run-tests.fish')

diff --git a/run-tests.fish b/run-tests.fish
new file mode 100644
index 0000000..22c86d5
--- /dev/null
+++ b/run-tests.fish
@@ -0,0 +1,24 @@
+#!/usr/bin/env fish
+
+set d (realpath (status dirname))
+
+cd $d/bytecode
+cargo build; or return
+
+cd $d
+
+if test (count $argv) -gt 0
+    set files $d/tests/$argv*
+else
+    set files $d/tests/*
+end
+
+for f in $files
+    $d/bytecode/target/debug/bytecode (sml $d/main.sml -o /dev/stderr $f >/dev/null 2>| psub)
+    set -l got $status
+    if test $got -eq 42
+        echo (basename -s.sml $f): PASS
+    else
+        echo (basename -s.sml $f): FAIL "(status $got)"
+    end
+end
-- 
cgit v1.3.1