Skip to content

Commit

Permalink
fix var in spec (#1019)
Browse files Browse the repository at this point in the history
Fix wrong variable name
  • Loading branch information
dimkouv authored Jun 14, 2024
1 parent b309c66 commit 50e10d0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion core/services/ocr3/plugins/ccip/spec/commit_plugin.py
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,7 @@ def outcome(self, observations):
msgs_by_seq_num = msgs.group_by_seq_num() # { 423: [0x1, 0x1, 0x2] }
# 2 nodes say that msg id is 0x1 and 1 node says it's 0x2

msg_ids = { seq_num: elem_most_occurrences(ids) for (seq_num, ids) in f_chain_votes.items() }
msg_ids = { seq_num: elem_most_occurrences(ids) for (seq_num, ids) in msgs_by_seq_num.items() }
for (seq_num, id) in msg_ids.items(): # require at least 2f+1 observations of the voted id
assert(msgs_by_seq_num[seq_num].count(id) >= 2*f_chain[chain]+1)

Expand Down

0 comments on commit 50e10d0

Please sign in to comment.