Skip to content

Commit

Permalink
Update spec/protocol-spec/README.md
Browse files Browse the repository at this point in the history
Co-authored-by: Igor Konnov <[email protected]>
  • Loading branch information
dnkolegov and konnov authored Jun 24, 2024
1 parent 11af8ce commit 77a7c1f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec/protocol-spec/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ We are checking the protocol specification for several configurations:
be violated.

- [n6f1b2](./n6f1b2.qnt) is the protocol instance for `N=6`, `F=1`, and two
Byzantines replica. Two Byzantine replicas have the critical mass to partition
Byzantine replicas. Two Byzantine replicas have the critical mass to partition
the correct replicas. Some invariants such as `agreement_inv` are violated in
this instance.

Expand Down

0 comments on commit 77a7c1f

Please sign in to comment.