build the checking tool
Issue Type: Sub-task
Reporter: Miguel Correia
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.