Checkpoint paxos resources/invariants #215
Annotations
3 warnings
build-vos (dev):
new/proof/etcdraft.v#L157
Unused variable: x.
|
build (dev):
new/proof/etcdraft.v#L157
Unused variable: x.
|
build (8.20):
new/proof/etcdraft.v#L157
Unused variable: x.
|