We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c2b7ea7 commit 48cc6d8Copy full SHA for 48cc6d8
eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rules/Pool.hs
@@ -152,7 +152,7 @@ poolRegistrationProp
152
conjoin
153
[ counterexample
154
"New PoolParams are registered in pParams"
155
- (Map.lookup hk (psStakePools targetSt) === Just (mkStakePoolState mempty poolParams))
+ ((stakePoolStateToPoolParams hk <$> Map.lookup hk (psStakePools targetSt)) === Just poolParams)
156
, counterexample
157
"PoolParams are not present in 'future pool params'"
158
(eval (hk ∉ dom (psFutureStakePools targetSt)) :: Bool)
0 commit comments