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

fix approve_new_view preconditions

Browse Source
This commit is contained in:
Giacomo Pasini 2023-05-02 18:02:53 +02:00
parent 346fc020d4
commit 3c91cecdc4
No known key found for this signature in database
GPG Key ID: FC08489D2D895D4B
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
carnot/carnot.py
View File

@ -524,7 +524,7 @@ class Carnot:
# newView.view == self.last_timeout_view_qc.view for member of root committee and its children because
# they have already created the timeout_qc. For other nodes newView.view > self.last_timeout_view_qc.view.
if self.last_view_timeout_qc is not None:
assert all(new_view.view >= self.last_view_timeout_qc.view for new_view in new_views)
assert all(new_view.view > self.last_view_timeout_qc.view for new_view in new_views)
assert all(new_view.timeout_qc.view == timeout_qc.view for new_view in new_views)
assert len(new_views) == self.overlay.super_majority_threshold(self.id)
assert all(self.overlay.is_member_of_child_committee(self.id, new_view.sender) for new_view in new_views)