-
Type: Task
-
Resolution: Unresolved
-
Priority: Major - P3
-
None
-
Affects Version/s: None
-
Component/s: Test Model
-
Storage Engines
-
StorEng - Defined Pipeline
The workload generator in test/model currently ensures that there are no write conflicts between operations in the workload. We should relax this requirement, so that it would occasionally include operations that conflict with each other.
This would, for example, reproduces issues such as WT-13694 faster. Even though WT-13694 was caught by test/model, it was merely a lucky coincidence that it generated that test case while performing counterexample reduction for a different issue.
Similarly, we should intentionally generate a small number of prepare conflicts, either as a part of this ticket or in a new ticket if the scope becomes too big.
- is testing
-
WT-13694 Truncated range contains uncommitted write
- Backlog