Uploaded image for project: 'WiredTiger'
  1. WiredTiger
  2. WT-12134

Pass connection configuration to the model checker via a command-line argument

    • Type: Icon: Improvement Improvement
    • Resolution: Fixed
    • Priority: Icon: Major - P3 Major - P3
    • WT11.3.0, 7.3.0-rc0
    • Affects Version/s: None
    • Component/s: None
    • None
    • Storage Engines

      We should be able to pass connection configuration to the model checker via a command-line argument, e.g., `-C` as in the `wt` utility.

      We need to do this to pass additional information that the checker needs to open the database, such as the list of extensions and any custom compression, encryption, or collator settings.

            Assignee:
            peter.macko@mongodb.com Peter Macko
            Reporter:
            peter.macko@mongodb.com Peter Macko
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: