search

basho / riak_core

Distributed systems infrastructure used by Riak.
Apache License 2.0
1.23k stars 392 forks source link

Leaving a cluster is not tested in the claim eqc tests #922

Open russelldb opened 6 years ago

russelldb commented 6 years ago

There is a claim statem in a branch that needs finishing, that includes leave. As it is, leave is not modelled, and not quickchecked.