feat: generate isolation-aware test cases in mda_generate.py #89

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

NJU-LYR wants to merge 1 commit into Tencent:coo-consistency-check from NJU-LYR:feature/isolation-aware-test-generation

NJU-LYR commented Aug 4, 2025

新增了对不同 SQL 隔离级别的支持
在 mda_generate.py 中加入了过滤逻辑
会根据传入的隔离级别参数（如 read-committed）只生成对该级别有意义的测试样例
不再需要手动修改 do_test_list.txt 注释

测试方式：

python3 mda_generate.py tdsql dist read-committed
只会生成脏读/脏写测试，不会生成不可重复读/幻读


          feat: generate isolation-aware test cases based on SQL isolation level

0aa0988

Member

tencent-adm commented Aug 4, 2025 •

edited

Loading

All committers have signed the CLA.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet