Commit 0c124357 authored by Andres Löh's avatar Andres Löh
Browse files

Fix tests.

parent 29de7dba
......@@ -344,6 +344,7 @@ instance Arbitrary ProjectConfigShared where
<*> arbitrary <*> arbitrary
<*> arbitrary <*> arbitrary
<*> arbitrary <*> arbitrary
<*> arbitrary
where
arbitraryConstraints :: Gen [(UserConstraint, ConstraintSource)]
arbitraryConstraints =
......@@ -352,18 +353,18 @@ instance Arbitrary ProjectConfigShared where
shrink (ProjectConfigShared
x00 x01 x02 x03 x04
x05 x06 x07 x08 x09
x10 x11 x12 x13) =
x10 x11 x12 x13 x14) =
[ ProjectConfigShared
x00' (fmap getNonEmpty x01') (fmap getNonEmpty x02') x03' x04'
x05' (postShrink_Constraints x06') x07' x08' x09'
x10' x11' x12' x13'
x10' x11' x12' x13' x14'
| ((x00', x01', x02', x03', x04'),
(x05', x06', x07', x08', x09'),
(x10', x11', x12', x13'))
(x10', x11', x12', x13', x14'))
<- shrink
((x00, fmap NonEmpty x01, fmap NonEmpty x02, x03, x04),
(x05, preShrink_Constraints x06, x07, x08, x09),
(x10, x11, x12, x13))
(x10, x11, x12, x13, x14))
]
where
preShrink_Constraints = map fst
......@@ -579,6 +580,9 @@ instance Arbitrary PreSolver where
instance Arbitrary ReorderGoals where
arbitrary = ReorderGoals <$> arbitrary
instance Arbitrary CountConflicts where
arbitrary = CountConflicts <$> arbitrary
instance Arbitrary StrongFlags where
arbitrary = StrongFlags <$> arbitrary
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment