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 77a7c1f commit 09c5372
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 @@ -30,7 +30,7 @@ We are checking the protocol specification for several configurations:
this instance.

- [n6f1b3](./n6f1b3.qnt) is the protocol instance for `N=6`, `F=1`, and three
Byzantines replica. Many invariants are violated in this instance very quickly.
Byzantines replicas. Many invariants are violated in this instance very quickly.

## 2. Finding examples

Expand Down

0 comments on commit 09c5372

Please sign in to comment.