build the checking tool
-----------------------
Key: ZOOKEEPER-819
URL: https://issues.apache.org/jira/browse/ZOOKEEPER-819
Project: Zookeeper
Issue Type: Sub-task
Reporter: Miguel Correia
Priority: Minor
Building the checking tool is the hardest part of the project. It involves
putting the traces together in a unified trace and checking if this unified
trace shows that Zookeeper is satisfying a set of properties (e.g., a getData
returns what was stored by the previous setData or create).
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
