From 088c28c90cb3c8b3ab74c80d7321ee9b58e6d0fc Mon Sep 17 00:00:00 2001 From: Denis Kolegov Date: Mon, 24 Jun 2024 20:19:56 +0200 Subject: [PATCH] Update spec/protocol-spec/experiments/n6f1b1_dead_lock.qnt Co-authored-by: Igor Konnov --- spec/protocol-spec/experiments/n6f1b1_dead_lock.qnt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/spec/protocol-spec/experiments/n6f1b1_dead_lock.qnt b/spec/protocol-spec/experiments/n6f1b1_dead_lock.qnt index 19e1732f..8d8f399a 100644 --- a/spec/protocol-spec/experiments/n6f1b1_dead_lock.qnt +++ b/spec/protocol-spec/experiments/n6f1b1_dead_lock.qnt @@ -4,6 +4,8 @@ /// while some other validators have the payload but don't have the HighQC and cannot finalize the block, and therefore /// don't gossip it, which causes a deadlock unless the one with the HighQC moves on and broadcasts what they have, which /// should cause the others to finalize the block and gossip the payload to them in turn. +/// +/// This test does not execute all steps, which shows that this concrete deadlock scenario is not feasible. // // Due to import/export limitations of Quint, use the definitions starting with g_: //