-
Type:
Bug
-
Resolution: Unresolved
-
Priority:
Major - P3
-
None
-
Affects Version/s: None
-
Component/s: Test Model
-
None
-
Storage Engines
-
None
-
None
Failure encountered in test/model when running a reduced workload.
[2025/06/29 17:18:08.603] Counterexample reduction: Round 24, remove sequences 500-516 [2025/06/29 17:18:08.603] Counterexample reduction: Failed to run the workload in the model: Failed transaction requires rollback [2025/06/29 17:18:08.992] Counterexample reduction: Round 25, remove sequences 310-317 [2025/06/29 17:18:08.992] Counterexample reduction: Failed to run the workload in the model: Failed transaction requires rollback [2025/06/29 17:18:09.680] Counterexample reduction: Round 26, remove sequences 318-326 [2025/06/29 17:18:09.680] Counterexample reduction: Round 27, remove sequences 465-473 [2025/06/29 17:18:10.031] Counterexample reduction: Failed to run the workload in the model: Failed transaction requires rollback [2025/06/29 17:18:10.735] Counterexample reduction: Round 28, remove sequences 474-482 [2025/06/29 17:18:10.735] Counterexample reduction: Round 29, remove sequences 483-490 [2025/06/29 17:18:11.085] Counterexample reduction: Failed to run the workload in the model: Failed transaction requires rollback
Workload:
create_table(3, "table3", "Q", "Q") begin_transaction(174) insert(3, 174, 505518, 447334) begin_transaction(243) remove(3, 243, 505518) insert(3, 243, 820755, 979742) commit_transaction(243, 280770, 0)
- is related to
-
WT-14933 test/model prepare op - failed txn requires rollback
-
- Needs Scheduling
-