Closed mkcp closed 6 years ago
Adapted from On Verifying Causal Consistency. Takes advantage of controlled jepsen env to skip some of the state transition counting in favor of looking at expected values, which I'm hoping is still valid!
Paper: https://arxiv.org/pdf/1611.00580.pdf
porting over to jepsen.jepsen_tests
jepsen.jepsen_tests
Adapted from On Verifying Causal Consistency. Takes advantage of controlled jepsen env to skip some of the state transition counting in favor of looking at expected values, which I'm hoping is still valid!
Paper: https://arxiv.org/pdf/1611.00580.pdf