3TS icon indicating copy to clipboard operation
3TS copied to clipboard

feat: support bug detection related to isolation level

Open Tang-Kin-Long opened this issue 7 months ago • 7 comments

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. ---------------------------------#

Tang-Kin-Long avatar Jul 19 '24 10:07 Tang-Kin-Long