chaos
chaos copied to clipboard
Is it normal that the verifier tidb_bank's result is different from tidb_bank_tso's?
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.