Gitstar Ranking

didip / porcupine

A fast linearizability checker written in Go 🔎 - View it on GitHub
http://www.anishathalye.com/2017/06/04/testing-distributed-systems-for-linearizability/
Star
0
Rank
11400826