A test framework for linearizability check with Go - View it on GitHub