test for ifElse going the other way around

IntersectMBO · Apr 25, 2024 · ec332ea · ec332ea
1 parent 3fcc07d
commit ec332ea
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/libs/constrained-generators/src/Constrained/Examples/Basic.hs b/libs/constrained-generators/src/Constrained/Examples/Basic.hs
@@ -163,3 +163,12 @@ canFollowLike = constrained' $ \p q ->
       , assert $ ma <=. ma'
       , ma' `dependsOn` ma
       ]
+
+ifElseBackwards :: Specification BaseFn (Int, Int)
+ifElseBackwards = constrained' $ \p q ->
+  [ ifElse
+      (p ==. 1)
+      (q <=. 0)
+      (0 <. q)
+  , p `dependsOn` q
+  ]
diff --git a/libs/constrained-generators/test/Constrained/Test.hs b/libs/constrained-generators/test/Constrained/Test.hs
@@ -117,6 +117,7 @@ tests =
     testSpec "rangeHint" rangeHint
     testSpec "basicSpec" basicSpec
     testSpec "canFollowLike" canFollowLike
+    testSpec "ifElseBackwards" ifElseBackwards
     numberyTests
     sizeTests
     numNumSpecTree