1 files changed, 12 insertions, 0 deletions
diff --git a/run-riscv-tests.sh b/run-riscv-tests.sh
new file mode 100755
index 0000000..c39c59d
--- /dev/null
+++ b/run-riscv-tests.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+for f in $(cat torun.txt); do
+    result=$(cargo run $f 2>&1 | tail -n 1 | awk '{print $NF}')
+    if [[ $result != 0 ]]; then
+        testnum=$(( result >> 1 ))
+        echo $f: test $testnum failed
+        exit 1
+    fi
+done
+
+echo all tests passed