build the checking tool

                 Key: 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.

Reply via email to