Results
1
issues of
Syd
tidb_bank says that my db is linearizable. But tidb_bank_tso says not. Well, I guess tidb_bank may be not a SSI verifier.