Skip to content

Commit 0446acc

Browse files
carlostomelehins
authored andcommitted
Enable test
1 parent 37e0220 commit 0446acc

File tree

1 file changed

+1
-3
lines changed
  • eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp

1 file changed

+1
-3
lines changed

eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/RatifySpec.hs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1119,9 +1119,7 @@ votingSpec =
11191119
passNEpochs 2
11201120
-- The same vote should now successfully ratify the proposal
11211121
getLastEnactedCommittee `shouldReturn` SJust (GovPurposeId addCCGaid)
1122-
-- https://github.com/IntersectMBO/formal-ledger-specifications/issues/926
1123-
-- TODO: Re-enable after issue is resolved, by removing this override
1124-
disableInConformanceIt "Rewards contribute to active voting stake even in the absence of StakeDistr" $
1122+
it "Rewards contribute to active voting stake even in the absence of StakeDistr" $
11251123
whenPostBootstrap $ do
11261124
let govActionLifetime = 5
11271125
govActionDeposit = Coin 1_000_000

0 commit comments

Comments
 (0)