additional test

IntersectMBO · May 3, 2024 · f8bdb43 · f8bdb43
1 parent 9d6b0a5
commit f8bdb43
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/libs/constrained-generators/src/Constrained/Examples/Basic.hs b/libs/constrained-generators/src/Constrained/Examples/Basic.hs
@@ -202,3 +202,9 @@ assertRealMultiple = constrained' $ \x y ->
   , assert $ 11 <=. y
   , assertReified (pair_ x y) $ uncurry (/=)
   ]
+
+reifiesMultiple :: Specification BaseFn (Int, Int, Int)
+reifiesMultiple = constrained' $ \x y z ->
+  [ reifies (x + y) z id
+  , x `dependsOn` y
+  ]
diff --git a/libs/constrained-generators/test/Constrained/Test.hs b/libs/constrained-generators/test/Constrained/Test.hs
@@ -44,6 +44,7 @@ testAll = hspec tests
 tests :: Spec
 tests =
   describe "constrained" $ do
+    testSpec "reifiesMultiple" reifiesMultiple
     testSpec "assertReal" assertReal
     testSpec "assertRealMultiple" assertRealMultiple
     testSpec "setSpec" setSpec