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. ---------------------------------#
Thank you for your submission, we really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.
Hello, I am one of the code reviewers. Can you translate your pr title, description, commit messages to English? And we recommend using this format to title your PR.
you can use "feat: support bug detection related to isolation level", and please add the issues you resolved in description.
you can use "feat: support bug detection related to isolation level", and please add the issues you resolved in description.
Okay!
do you test your commit on all dbmss?
do you test your commit on all dbmss?
No, I haven't installed Docker and configured the test environment. I am trying to do that.