A fast linearizability checker written in Go 🔎
Primary LanguageGoMIT LicenseMIT
No issues in this repository yet.