| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Consensus.PointSchedule.Shrinking
Documentation
shrinkByRemovingAdversaries ∷ GenesisTestFull TestBlock → StateView TestBlock → [GenesisTestFull TestBlock] Source #
Shrink a 'Peers PeerSchedule' by removing adversaries. This does not affect the honest peer; and it does not remove ticks from the schedules of the remaining adversaries.
shrinkPeerSchedules ∷ GenesisTestFull TestBlock → StateView TestBlock → [GenesisTestFull TestBlock] Source #
Shrink a 'Peers PeerSchedule'. This does not affect the honest peer; it does, however, attempt to remove other peers or ticks of other peers. The block tree is trimmed to keep only parts that are necessary for the shrunk schedule.
trimBlockTree' ∷ PeersSchedule TestBlock → BlockTree TestBlock → BlockTree TestBlock Source #
Remove blocks from the given block tree that are not necessary for the given peer schedules. If entire branches are unused, they are removed. If the trunk is unused, then it remains as an empty anchored fragment.