github.com/pingcap/chaos (go): A test framework for linearizability check with Go
Keywords: linearizability