Fix timeout preconditions

2023-04-03 19:38:33 +02:00 · 2023-04-03 19:38:33 +02:00 · efce293d71
parent 9a65a7b9c5
commit efce293d71
1 changed files with 2 additions and 1 deletions
--- a/carnot/carnot.py
+++ b/carnot/carnot.py
@ -325,8 +325,9 @@ class Carnot:

    def timeout(self, msgs: Set[Timeout]):
        assert len(msgs) == self.overlay.super_majority_threshold(self.id)
+        assert all(msg.view >= self.current_view for msg in msgs)
        assert len(set(msg.view for msg in msgs)) == 1
-        assert msgs.pop().view > self.current_view
+
        max_msg = self.get_max_timeout(msgs)
        if self.local_high_qc.view < max_msg.high_qc.view:
            self.update_high_qc(max_msg.high_qc)