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: