Include all tests

oscarbenjamin · oscarbenjamin · commit 5245adb6bafa · 2025-05-26T19:41:24.000+01:00
diff --git a/src/flint/test/test_all.py b/src/flint/test/test_all.py
@@ -4871,6 +4871,7 @@ def test_all_tests():
 
 
 all_tests = [
+    test_1, test_2, test_3, test_4, test_5, test_6,
 
     test_pyflint,
     test_showgood,
