logos-co/nomos-specs
1
0
Fork 0
mirror of https://github.com/logos-co/nomos-specs.git synced 2025-02-12 23:36:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add tests assertions

Browse Source
This commit is contained in:
danielsanchezq 2023-03-31 12:58:46 +02:00
parent 70bbba67cc
commit 742227a01e
1 changed files with 42 additions and 45 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

87
carnot/test_happy_path.py
View File

@ -16,14 +16,14 @@ class TestCarnotHappyPath(TestCase):
block = Block(view=1, qc=StandardQc(block=genesis_block.id(), view=0)) block = Block(view=1, qc=StandardQc(block=genesis_block.id(), view=0))
carnot.receive_block(block) carnot.receive_block(block)
def test_prepare_vote_for_a_block(self,block:Block, carnot: Carnot) -> Vote: # def test_prepare_vote_for_a_block(self, block:Block, carnot: Carnot) -> Vote:
vote: Vote = Vote( # vote: Vote = Vote(
block=block.id(), # block = block.id(),
voter=self.id, # voter = carnot.id,
view=self.current_view, # view = carnot.current_view,
qc=self.build_qc(votes) # qc = carnot.build_qc(votes)
) # )
return vote # return vote
def test_receive_multiple_blocks_for_the_same_view(self): def test_receive_multiple_blocks_for_the_same_view(self):
carnot = Carnot(int_to_id(0)) carnot = Carnot(int_to_id(0))
@ -42,17 +42,13 @@ class TestCarnotHappyPath(TestCase):
# 4 # 4
block4 = Block(view=4, qc=StandardQc(block=block3.id(), view=3)) block4 = Block(view=4, qc=StandardQc(block=block3.id(), view=3))
carnot.receive_block(block4) carnot.receive_block(block4)
self.assertEqual(len(carnot.safe_blocks), 5)
# This test seem to fail because safe_block dict checks for id of # next block is duplicated and as it is already processed should be skipped
#the block, and we can receive blocks with different ids for the same view.
# There must be only one block per view at most.
# Maybe we have a dict with view as key and dict[block.id()]block as value?
block5 = Block(view=4, qc=StandardQc(block=block3.id(), view=3)) block5 = Block(view=4, qc=StandardQc(block=block3.id(), view=3))
carnot.receive_block(block5) carnot.receive_block(block5)
self.assertEqual(len(carnot.safe_blocks), 5)
def test_receive_block_has_old_view_number(self):
# This also covers the case when a block has a lower view number than its QC.
def test_receive_block_has_old_view_number(self):
carnot = Carnot(int_to_id(0)) carnot = Carnot(int_to_id(0))
genesis_block = self.add_genesis_block(carnot) genesis_block = self.add_genesis_block(carnot)
# 1 # 1
@ -70,13 +66,15 @@ class TestCarnotHappyPath(TestCase):
block4 = Block(view=4, qc=StandardQc(block=block3.id(), view=3)) block4 = Block(view=4, qc=StandardQc(block=block3.id(), view=3))
carnot.receive_block(block4) carnot.receive_block(block4)
self.assertEqual(len(carnot.safe_blocks), 5)
# This block should be rejected based on the condition below in block_is_safe(). # This block should be rejected based on the condition below in block_is_safe().
# block.view >= self.latest_committed_view and block.view == (standard.view + 1) # block.view >= self.latest_committed_view and block.view == (standard.view + 1)
# block_is_safe() should return false. # block_is_safe() should return false.
block5 = Block(view=3, qc=StandardQc(block=block4.id(), view=4)) block5 = Block(view=3, qc=StandardQc(block=block4.id(), view=4))
carnot.receive_block(block5) carnot.receive_block(block5)
self.assertEqual(len(carnot.safe_blocks), 5)
def test_receive_block_has_an_old_qc(self): def test_receive_block_has_an_old_qc(self):
carnot = Carnot(int_to_id(0)) carnot = Carnot(int_to_id(0))
genesis_block = self.add_genesis_block(carnot) genesis_block = self.add_genesis_block(carnot)
# 1 # 1
@ -94,18 +92,17 @@ def test_receive_block_has_an_old_qc(self):
block4 = Block(view=4, qc=StandardQc(block=block3.id(), view=3)) block4 = Block(view=4, qc=StandardQc(block=block3.id(), view=3))
carnot.receive_block(block4) carnot.receive_block(block4)
self.assertEqual(len(carnot.safe_blocks), 5)
# 5 This is the old standard qc of block number 3. For standarnd QC we must always have qc.view==block.view-1. # 5 This is the old standard qc of block number 3. For standarnd QC we must always have qc.view==block.view-1.
# This block should be rejected based on the condition below in block_is_safe(). # This block should be rejected based on the condition below in block_is_safe().
# block.view >= self.latest_committed_view and block.view == (standard.view + 1) # block.view >= self.latest_committed_view and block.view == (standard.view + 1)
# block_is_safe() should return false. # block_is_safe() should return false.
block5 = Block(view=5, qc=StandardQc(block=block3.id(), view=3)) block5 = Block(view=5, qc=StandardQc(block=block3.id(), view=3))
carnot.receive_block(block5) carnot.receive_block(block5)
self.assertEqual(len(carnot.safe_blocks), 5)
# Any block with block.view < 4 must be committed
def test_receive_block_and_commit_its_grand_parent_chain(self):
#Any block with block.view < 4 must be committed
def test_receive_block_and_commit_its_grand_parent_chain(self):
carnot = Carnot(int_to_id(0)) carnot = Carnot(int_to_id(0))
genesis_block = self.add_genesis_block(carnot) genesis_block = self.add_genesis_block(carnot)
# 1 # 1
@ -123,15 +120,15 @@ def test_receive_block_has_an_old_qc(self):
block4 = Block(view=4, qc=StandardQc(block=block3.id(), view=3)) block4 = Block(view=4, qc=StandardQc(block=block3.id(), view=3))
carnot.receive_block(block4) carnot.receive_block(block4)
block5 = Block(view=5, qc=StandardQc(block=block3.id(), view=3)) block5 = Block(view=5, qc=StandardQc(block=block4.id(), view=4))
carnot.receive_block(block5) carnot.receive_block(block5)
for block in (block1, block2, block3):
self.assertIn(block.id(), carnot.committed_blocks)
# Block3 must be committed as it is the grandparent of block5. Hence, it should not be possible
# to avert it.
# Block3 must be committed as it is the grandparent of block5. Hence, it should not be possible def test_receive_block_has_an_old_qc_and_tries_to_revert_a_committed_block(self):
#to avert it.
def test_receive_block_has_an_old_qc_and_tries_to_revert_a_committed_block(self):
carnot = Carnot(int_to_id(0)) carnot = Carnot(int_to_id(0))
genesis_block = self.add_genesis_block(carnot) genesis_block = self.add_genesis_block(carnot)
# 1 # 1
@ -149,29 +146,29 @@ def test_receive_block_has_an_old_qc(self):
block4 = Block(view=4, qc=StandardQc(block=block3.id(), view=3)) block4 = Block(view=4, qc=StandardQc(block=block3.id(), view=3))
carnot.receive_block(block4) carnot.receive_block(block4)
self.assertEqual(len(carnot.safe_blocks), 5)
# 5 This is the old standard qc of block number 2. By using the QC for block2, block5 tries to form a fork # 5 This is the old standard qc of block number 2. By using the QC for block2, block5 tries to form a fork
# to avert block3 and block b4. Block3 is a committed block # to avert block3 and block b4. Block3 is a committed block
# block_is_safe() should return false. # block_is_safe() should return false.
block5 = Block(view=5, qc=StandardQc(block=block2.id(), view=2)) block5 = Block(view=5, qc=StandardQc(block=block2.id(), view=2))
carnot.receive_block(block5) carnot.receive_block(block5)
self.assertEqual(len(carnot.safe_blocks), 5)
# Test cases for vote:
# 1: If a nodes votes for same block twice
# 2: If a node votes for two different blocks in the same view.
# 3: If a node in parent committee votes before it receives threshold of children's votes
# 4: If a node counts duplicate votes
# 6: If a node counts votes of nodes other than it's child committees.
# 7: If a node counts distinct votes for a safe block from its child committees.
# 8: If 7 is true, will the node vote for the mentioned safe block
def test_vote_for_received_block(self):
# Test cases for vote: carnot = Carnot(int_to_id(0))
#1: If a nodes votes for same block twice genesis_block = self.add_genesis_block(carnot)
#2: If a node votes for two different blocks in the same view. blocklist = []
#3: If a node in parent committee votes before it receives threshold of children's votes for i in range(1, 5):
#4: If a node counts duplicate votes blocklist.append(Block(view=i, qc=StandardQc(block=int_to_id(i - 1), view=i - 1)))
#6: If a node counts votes of nodes other than it's child committees.
#7: If a node counts distinct votes for a safe block from its child committees.
#8: If #7 is true, will the node vote for the mentioned safe block
def test_vote_for_received_block(self):
carnot = Carnot(int_to_id(0))
genesis_block = self.add_genesis_block(carnot)
blocklist=[]
for i in range(1,5):
blocklist.append(Block(view=i, qc=StandardQc(block=i - 1, view=i - 1)))