logos-storage/nim-mysticeti
1
0
Fork 0
mirror of https://github.com/logos-storage/nim-mysticeti.git synced 2026-01-08 00:23:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

simplify committee test

Browse Source
This commit is contained in:
Mark Spanbroek 2024-09-19 15:34:07 +02:00
parent ded07cfc3c
commit 47d5025b45
1 changed files with 26 additions and 45 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

71
tests/mysticeti/testCommittee.nim
View File

@ -30,7 +30,7 @@ suite "Commitee of Validators":
validator3.nextRound()
validator4.nextRound()
test "validators include blocks from previous round as parents":
proc exchangeProposals: auto =
let proposal1 = validator1.propose(seq[Transaction].example)
let proposal2 = validator2.propose(seq[Transaction].example)
let proposal3 = validator3.propose(seq[Transaction].example)
@ -38,12 +38,25 @@ suite "Commitee of Validators":
validator1.receive(proposal2)
validator1.receive(proposal3)
validator1.receive(proposal4)
validator1.nextRound()
let proposal5 = validator1.propose(seq[Transaction].example)
check proposal1.blck.id in proposal5.blck.parents
check proposal2.blck.id in proposal5.blck.parents
check proposal3.blck.id in proposal5.blck.parents
check proposal4.blck.id in proposal5.blck.parents
validator2.receive(proposal1)
validator2.receive(proposal3)
validator2.receive(proposal4)
validator3.receive(proposal1)
validator3.receive(proposal2)
validator3.receive(proposal4)
validator4.receive(proposal1)
validator4.receive(proposal2)
validator4.receive(proposal3)
(proposal1, proposal2, proposal3, proposal4)
test "validators include blocks from previous round as parents":
let previous = exchangeProposals()
nextRound()
let proposal = validator1.propose(seq[Transaction].example)
check previous[0].blck.id in proposal.blck.parents
check previous[1].blck.id in proposal.blck.parents
check previous[2].blck.id in proposal.blck.parents
check previous[3].blck.id in proposal.blck.parents
test "by default received proposals are undecided":
let proposal = validator2.propose(seq[Transaction].example)
@ -61,44 +74,12 @@ suite "Commitee of Validators":
check validator1.status(proposal) == some ProposalStatus.toSkip
test "commits blocks that have >2f certificates":
let proposal1 = validator1.propose(seq[Transaction].example)
let proposal2 = validator2.propose(seq[Transaction].example)
let proposal3 = validator3.propose(seq[Transaction].example)
let proposal4 = validator4.propose(seq[Transaction].example)
validator1.receive(proposal2)
validator1.receive(proposal3)
validator1.receive(proposal4)
validator2.receive(proposal1)
validator2.receive(proposal3)
validator2.receive(proposal4)
validator3.receive(proposal1)
validator3.receive(proposal2)
validator3.receive(proposal4)
validator4.receive(proposal1)
validator4.receive(proposal2)
validator4.receive(proposal3)
let (proposal, _, _, _) = exchangeProposals()
nextRound()
let proposal5 = validator1.propose(seq[Transaction].example)
let proposal6 = validator2.propose(seq[Transaction].example)
let proposal7 = validator3.propose(seq[Transaction].example)
let proposal8 = validator4.propose(seq[Transaction].example)
validator1.receive(proposal6)
validator1.receive(proposal7)
validator1.receive(proposal8)
validator2.receive(proposal5)
validator2.receive(proposal7)
validator2.receive(proposal8)
validator3.receive(proposal5)
validator3.receive(proposal6)
validator3.receive(proposal8)
validator4.receive(proposal5)
validator4.receive(proposal6)
validator4.receive(proposal7)
discard exchangeProposals()
nextRound()
discard validator1.propose(seq[Transaction].example)
let proposal10 = validator2.propose(seq[Transaction].example)
let proposal11 = validator3.propose(seq[Transaction].example)
validator1.receive(proposal10)
check validator1.status(proposal1) == some ProposalStatus.undecided
validator1.receive(proposal11)
check validator1.status(proposal1) == some ProposalStatus.toCommit
validator1.receive(validator2.propose(seq[Transaction].example))
check validator1.status(proposal) == some ProposalStatus.undecided
validator1.receive(validator3.propose(seq[Transaction].example))
check validator1.status(proposal) == some ProposalStatus.toCommit