From 77918c2398ed77136e4239d8c7d51ecdf5174f67 Mon Sep 17 00:00:00 2001 From: Giacomo Pasini Date: Thu, 20 Apr 2023 12:49:04 +0200 Subject: [PATCH] fix comments --- carnot/carnot.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/carnot/carnot.py b/carnot/carnot.py index e399fff..c67019e 100644 --- a/carnot/carnot.py +++ b/carnot/carnot.py @@ -372,7 +372,7 @@ class Carnot: assert vote.block in self.safe_blocks assert self.overlay.is_member_of_child_committee(self.id, vote.voter) # we only forward votes after we've voted ourselves - assert self.highest_voted_view >= vote.view + assert self.highest_voted_view == vote.view if self.overlay.is_member_of_root_committee(self.id): self.send(vote, self.overlay.leader(self.current_view + 1)) @@ -381,7 +381,7 @@ class Carnot: assert msg.view == self.current_view assert self.overlay.is_member_of_child_committee(self.id, msg.sender) # we only forward votes after we've voted ourselves - assert self.highest_voted_view >= vote.view + assert self.highest_voted_view == msg.view if self.overlay.is_member_of_root_committee(self.id): self.send(msg, self.overlay.leader(self.current_view + 1))