Skip to content

Commit

Permalink
note in not requesting blockstoreentries
Browse files Browse the repository at this point in the history
  • Loading branch information
josef-widder committed Nov 19, 2024
1 parent a5e49c9 commit 7200717
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions specs/quint/specs/blocksync/client.qnt
Original file line number Diff line number Diff line change
Expand Up @@ -132,6 +132,8 @@ module bsync_client {
| RespBlock(prop) => syncHandleBlock(ns, prop)
| RespCertificate(cert) => syncHandleCertificate(ns, cert, goodPeers.fold("", (s,x) => x))
| RespBlockStoreEntry(b) => syncHandleBlockStoreEntry(ns, b)
// TODO: in the current version, the client is able to process
// blockstore entries, but it doesn't ask for them.
}
else
// I don't have response
Expand Down

0 comments on commit 7200717

Please sign in to comment.