here's the followup post of my earlier tinkering with #Jepsen to #test #distributed systems: https://caligin.github.io/2017/08/29/experimenting-with-jepsen-2.htmlthis time about modeling, locking and being wrong!