From 8d0360ab3c5734e95ffcae73f69720456bbb5adb Mon Sep 17 00:00:00 2001 From: Youngjoon Lee Date: Thu, 6 Jul 2023 21:14:26 +0900 Subject: [PATCH] fix(fuzz): fix precondition for receive_timeout_qc (#248) --- consensus-engine/tests/fuzz/ref_state.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/consensus-engine/tests/fuzz/ref_state.rs b/consensus-engine/tests/fuzz/ref_state.rs index 2332b2f1..bb3dd2d1 100644 --- a/consensus-engine/tests/fuzz/ref_state.rs +++ b/consensus-engine/tests/fuzz/ref_state.rs @@ -102,7 +102,7 @@ impl ReferenceStateMachine for RefState { Transition::ApprovePastBlock(block) => state.highest_voted_view >= block.view, Transition::LocalTimeout => true, Transition::ReceiveTimeoutQcForRecentView(timeout_qc) => { - timeout_qc.view() == state.current_view() + timeout_qc.view() >= state.current_view() } Transition::ReceiveTimeoutQcForOldView(timeout_qc) => { timeout_qc.view() < state.current_view()