test/model - failed txn requires rollback

    • 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) 

            Assignee:
            [DO NOT USE] Backlog - Storage Engines Team
            Reporter:
            Mariam Mojid
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: