tikv-server tidb-server是怎么做的数据正确性测试

不是跨服务或者跨系统的数据正确性。

想了解的是数据库本身的正确性。可以理解为数据库层面的 ACID 是怎么验证的。