Ensure truncate skips unseen keys in the model

XMLWordPrintableJSON

      model-test-long-with-coverage on ubuntu2004-arm64

      Host: i-0dc5b6ee0a9c5a9c0
      Project: wiredtiger
      Commit: eb9b4dca

      Failure message:

      Counterexample reduction: Return codes differ for operation 5: WiredTiger returned 0, but -31800 was expected.
      

      Task Logs:

      Reproducer workload:

      create_table(3, "table3", "Q", "Q")
      begin_transaction(375)
      insert(3, 375, 213768, 403271)
      begin_transaction(1408)
      truncate(3, 1408, 121643, 799453)
      commit_transaction(1408, 1665953, 0)
      

              Assignee:
              Sid Mahajan
              Reporter:
              xgen-buildbaron-user
              Votes:
              0 Vote for this issue
              Watchers:
              11 Start watching this issue

                Created:
                Updated:
                Resolved: