3TS
3TS copied to clipboard
feat: support bug detection related to isolation level
feat: support bug detection related to isolation level
resolve the issue: bug detection related to isolation level
Modify parts of code in Coo consistency check to realize the error detection result output of related isolation level.
Reference the test data as well.
Sample Output: --------file:rr_s_s_avoid-------- Transaction 1:-----repeatable-read----- Error Detection: No error in this isolation level. Transaction 2:-----serializable----- Edge(begin_time=4, type=ICR, out=3) Error Detection: Phantom-Read Transaction 3:-----serializable----- Error Detection: No error in this isolation level. ---------------------------------#