@@ -344,6 +344,7 @@ instance Arbitrary ProjectConfigShared where
344
344
<*> arbitrary <*> arbitrary
345
345
<*> arbitrary <*> arbitrary
346
346
<*> arbitrary <*> arbitrary
347
+ <*> arbitrary
347
348
where
348
349
arbitraryConstraints :: Gen [(UserConstraint , ConstraintSource )]
349
350
arbitraryConstraints =
@@ -352,18 +353,18 @@ instance Arbitrary ProjectConfigShared where
352
353
shrink (ProjectConfigShared
353
354
x00 x01 x02 x03 x04
354
355
x05 x06 x07 x08 x09
355
- x10 x11 x12 x13) =
356
+ x10 x11 x12 x13 x14 ) =
356
357
[ ProjectConfigShared
357
358
x00' (fmap getNonEmpty x01') (fmap getNonEmpty x02') x03' x04'
358
359
x05' (postShrink_Constraints x06') x07' x08' x09'
359
- x10' x11' x12' x13'
360
+ x10' x11' x12' x13' x14'
360
361
| ((x00', x01', x02', x03', x04'),
361
362
(x05', x06', x07', x08', x09'),
362
- (x10', x11', x12', x13'))
363
+ (x10', x11', x12', x13', x14' ))
363
364
<- shrink
364
365
((x00, fmap NonEmpty x01, fmap NonEmpty x02, x03, x04),
365
366
(x05, preShrink_Constraints x06, x07, x08, x09),
366
- (x10, x11, x12, x13))
367
+ (x10, x11, x12, x13, x14 ))
367
368
]
368
369
where
369
370
preShrink_Constraints = map fst
@@ -579,6 +580,9 @@ instance Arbitrary PreSolver where
579
580
instance Arbitrary ReorderGoals where
580
581
arbitrary = ReorderGoals <$> arbitrary
581
582
583
+ instance Arbitrary CountConflicts where
584
+ arbitrary = CountConflicts <$> arbitrary
585
+
582
586
instance Arbitrary StrongFlags where
583
587
arbitrary = StrongFlags <$> arbitrary
584
588
0 commit comments