From 43d5f2020eaa597c723f7b48eaa407b9e7f7413f Mon Sep 17 00:00:00 2001
From: Josef Widder <josef@informal.systems>
Date: Wed, 17 Jan 2024 11:48:35 +0100
Subject: [PATCH] script to test all locally

---
 specs/quint/tests/test-all.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 specs/quint/tests/test-all.sh

diff --git a/specs/quint/tests/test-all.sh b/specs/quint/tests/test-all.sh
new file mode 100755
index 000000000..96261c6a0
--- /dev/null
+++ b/specs/quint/tests/test-all.sh
@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+for x in */*Test.qnt; do quint test $x; done 
\ No newline at end of file