| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.ThreadNet.Util
Synopsis
- chainCommonPrefix ∷ HasHeader b ⇒ Chain b → Chain b → Chain b
- prop_all_common_prefix ∷ (HasHeader b, Condense (HeaderHash b), Eq b) ⇒ Word64 → [Chain b] → Property
- shortestLength ∷ Map NodeId (Chain b) → Natural
- consensusExpected ∷ SecurityParam → NodeJoinPlan → LeaderSchedule → Bool
- emptyLeaderSchedule ∷ NumSlots → LeaderSchedule
- roundRobinLeaderSchedule ∷ NumCoreNodes → NumSlots → LeaderSchedule
- tracesToDot ∷ (GetPrevHash b, HasCreator b) ⇒ Map NodeId (NodeOutput b) → String
- module Test.ThreadNet.Util.Expectations
Chain properties
chainCommonPrefix ∷ HasHeader b ⇒ Chain b → Chain b → Chain b Source #
Find the common prefix of two chains
prop_all_common_prefix ∷ (HasHeader b, Condense (HeaderHash b), Eq b) ⇒ Word64 → [Chain b] → Property Source #
LeaderSchedule
emptyLeaderSchedule ∷ NumSlots → LeaderSchedule Source #
roundRobinLeaderSchedule ∷ NumCoreNodes → NumSlots → LeaderSchedule Source #
GraphViz Dot
tracesToDot ∷ (GetPrevHash b, HasCreator b) ⇒ Map NodeId (NodeOutput b) → String Source #