From 3c91cecdc47e5e49807e425e388c67ee3b4023bb Mon Sep 17 00:00:00 2001 From: Giacomo Pasini Date: Tue, 2 May 2023 18:02:53 +0200 Subject: [PATCH] fix approve_new_view preconditions --- carnot/carnot.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/carnot/carnot.py b/carnot/carnot.py index 89da3c3..1c1a355 100644 --- a/carnot/carnot.py +++ b/carnot/carnot.py @@ -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)