run the tests

MaximilianAlgehed · MaximilianAlgehed · commit 6a2849a354a7 · 2025-09-03T14:36:13.000+02:00
diff --git a/test/Constrained/Tests.hs b/test/Constrained/Tests.hs
@@ -236,6 +236,8 @@ negativeTests =
     testSpecFail "overconstrainedPrefixes" overconstrainedPrefixes
     testSpecFail "overconstrainedSuffixes" overconstrainedSuffixes
     testSpecFail "appendForAllBad" appendForAllBad
+    testSpecFail "manyInconsistent" manyInconsistent
+    testSpecFail "manyInconsistentTrans" manyInconsistentTrans
 
 testSpecFail :: HasSpec a => String -> Specification a -> Spec
 testSpecFail s spec =
