logos-co
/
nomos-node
mirror of
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix(fuzz): fix precondition for receive_timeout_qc (#248)

This commit is contained in:
Youngjoon Lee 2023-07-06 21:14:26 +09:00 committed by GitHub
parent 3607ce7627
commit 8d0360ab3c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
consensus-engine/tests/fuzz/ref_state.rs
View File

@ -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()