tongzhang / porcupine Goto Github PK
View Code? Open in Web Editor NEWThis project forked from anishathalye/porcupine
A fast linearizability checker written in Go ๐
Home Page: http://www.anishathalye.com/2017/06/04/testing-distributed-systems-for-linearizability/
License: MIT License