Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010
Test.Cardano.Ledger.Shelley.Rewards
Currently this uses the trace mechanism to check that computing rewards has a required set of properties. It works only in the Shelley Era. It could be generalized, and then moved to the GeneratorTrace directory which computes property tests in all eras.
Synopsis
- value tests
- value defaultMain
- value newEpochProp
- value newEpochEventsProp
- data RewardUpdateOld
- value createRUpdOld
- value createRUpdOld_
- Packagecardano-ledger-shelley-test-1.9.0.0
- Exports7
- LanguageHaskell2010
- LicenceApache-2.0
- SourceRewards.hs
Provide a legitimate NewEpochState to make an test Property
Given a NewEpochState and [ChainEvent], test a Property at every Epoch Boundary
Constructors
Instances2Eq, Show
Eq RewardUpdateOldDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.RewardsShow RewardUpdateOldDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Rewards