WeihuaSun

icon company Harbin Institute of Technology icon location Student of @Harbin Institute of Technology

Results 2 issues of WeihuaSun

feat: Add Test Case Generation for Weak Isolation Levels in Different Databases

1 comment

issue #42 Generate different test cases for weak isolation levels of different databases. The isolation level of the database has different capabilities to break the cycles in POP. If the...

Dynamic testing of weak isolation levels

#### 1. Changes to 'version_list': In the previous implementation of 'version_list', an unexpected exception could occur: **"Value exists, but did not successfully read."** This happens when a read operation returns...