script to test all locally

informalsystems · Jan 17, 2024 · 43d5f20 · 43d5f20
1 parent 08540bc
commit 43d5f20
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/specs/quint/tests/test-all.sh 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