Formally verify the guarantees and consistency of the system #27
Description
As per @tomgco suggestion this might come in handy - https://github.com/jepsen-io/jepsen
{{ message }}
As per @tomgco suggestion this might come in handy - https://github.com/jepsen-io/jepsen