Vanlightly commented on pull request #1690:
URL: https://github.com/apache/zookeeper/pull/1690#issuecomment-831155754
@BinyuHuang-nju I have run it a couple of times and hit some invariant
violations, such as LocalPrimaryOrder and Integrity. I have not taken the time
to understand the spec or these invariants yet but would you be able to specify
which invariants you have enabled when you run it? I am using Servers {s1,s2}
and Values {v1} as sets of model values, with the rest of the constants as
model values.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
