From 805e716aa1716b1d78fd5fb7cd3d9b06c16c4b1e Mon Sep 17 00:00:00 2001
From: danielsanchezq <sanchez.quiros.daniel@gmail.com>
Date: Mon, 3 Apr 2023 13:59:08 +0200
Subject: [PATCH] Fix all timeouts are from the same view in timeout call

---
 carnot/carnot.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/carnot/carnot.py b/carnot/carnot.py
index 0c45957..3e2fd97 100644
--- a/carnot/carnot.py
+++ b/carnot/carnot.py
@@ -317,7 +317,7 @@ class Carnot:
 
     def timeout(self, msgs: Set[Timeout]):
         assert len(msgs) == self.overlay.super_majority_threshold(self.id)
-        assert all(msg.view == msgs.pop().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: