Gitstar Ranking

glycerine / porcupine

A fast linearizability checker written in Go 🔎 - View it on GitHub
https://anishathalye.com/testing-distributed-systems-for-linearizability/
Star
1
Rank
5710906