Gitstar Ranking

gmh5225 / porcupine

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