[
https://issues.apache.org/jira/browse/ZOOKEEPER-3615?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Andor Molnar updated ZOOKEEPER-3615:
------------------------------------
Fix Version/s: 3.9.0
> write a TLA+ specification to verify Zab protocol
> -------------------------------------------------
>
> Key: ZOOKEEPER-3615
> URL: https://issues.apache.org/jira/browse/ZOOKEEPER-3615
> Project: ZooKeeper
> Issue Type: Wish
> Components: documentation, server
> Reporter: Ling Mao
> Assignee: Ling Mao
> Priority: Major
> Labels: pull-request-available
> Fix For: 3.9.0
>
> Time Spent: 13h 50m
> Remaining Estimate: 0h
>
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
