@@ -201,42 +201,43 @@ spoAndCCVotingSpec = do
201201 -- https://github.com/IntersectMBO/cardano-ledger/issues/5170
202202 -- TODO: Re-enable after issue is resolved, by removing this override
203203 disableInConformanceIt " Constitution cannot be changed if active committee size is below min size"
204- . whenPostBootstrap $ do
205- modifyPParams $ \ pp ->
206- pp
207- & ppDRepVotingThresholdsL . dvtUpdateToConstitutionL .~ (0 %! 1 )
208- & ppCommitteeMinSizeL .~ 2
209- & ppCommitteeMaxTermLengthL .~ EpochInterval 50
210- coldCommitteeActive <- KeyHashObj <$> freshKeyHash
211- coldCommitteeInactive <- KeyHashObj <$> freshKeyHash
212- startingEpoch <- getsNES nesELL
213- maxTermLength <- getsPParams ppCommitteeMaxTermLengthL
214- (dRep, _, _) <- setupSingleDRep 1_000_000_000
215- (spo, _, _) <- setupPoolWithStake $ Coin 1_000_000_000
216- let
217- committeeMap =
218- [ (coldCommitteeActive, addEpochInterval startingEpoch maxTermLength)
219- , (coldCommitteeInactive, addEpochInterval startingEpoch $ EpochInterval 5 )
220- ]
221- initialCommittee <- getCommitteeMembers
222- committeeActionId <-
223- impAnn " Submit committee update"
224- . submitGovAction
225- $ UpdateCommittee
226- SNothing
227- initialCommittee
228- committeeMap
229- (0 %! 1 )
230- submitYesVote_ (DRepVoter dRep) committeeActionId
231- submitYesVote_ (StakePoolVoter spo) committeeActionId
232- passNEpochs 2
233- getCommitteeMembers `shouldReturn` Map. keysSet committeeMap
234- passNEpochs 3
235- newConstitution <- arbitrary
236- constitutionActionId <- submitGovAction $ NewConstitution SNothing newConstitution
237- logRatificationChecks constitutionActionId
238- passNEpochs 2
239- getConstitution `shouldNotReturn` newConstitution
204+ . whenPostBootstrap
205+ $ do
206+ modifyPParams $ \ pp ->
207+ pp
208+ & ppDRepVotingThresholdsL . dvtUpdateToConstitutionL .~ (0 %! 1 )
209+ & ppCommitteeMinSizeL .~ 2
210+ & ppCommitteeMaxTermLengthL .~ EpochInterval 50
211+ coldCommitteeActive <- KeyHashObj <$> freshKeyHash
212+ coldCommitteeInactive <- KeyHashObj <$> freshKeyHash
213+ startingEpoch <- getsNES nesELL
214+ maxTermLength <- getsPParams ppCommitteeMaxTermLengthL
215+ (dRep, _, _) <- setupSingleDRep 1_000_000_000
216+ (spo, _, _) <- setupPoolWithStake $ Coin 1_000_000_000
217+ let
218+ committeeMap =
219+ [ (coldCommitteeActive, addEpochInterval startingEpoch maxTermLength)
220+ , (coldCommitteeInactive, addEpochInterval startingEpoch $ EpochInterval 5 )
221+ ]
222+ initialCommittee <- getCommitteeMembers
223+ committeeActionId <-
224+ impAnn " Submit committee update"
225+ . submitGovAction
226+ $ UpdateCommittee
227+ SNothing
228+ initialCommittee
229+ committeeMap
230+ (0 %! 1 )
231+ submitYesVote_ (DRepVoter dRep) committeeActionId
232+ submitYesVote_ (StakePoolVoter spo) committeeActionId
233+ passNEpochs 2
234+ getCommitteeMembers `shouldReturn` Map. keysSet committeeMap
235+ passNEpochs 3
236+ newConstitution <- arbitrary
237+ constitutionActionId <- submitGovAction $ NewConstitution SNothing newConstitution
238+ logRatificationChecks constitutionActionId
239+ passNEpochs 2
240+ getConstitution `shouldNotReturn` newConstitution
240241
241242committeeExpiryResignationDiscountSpec ::
242243 forall era .
0 commit comments