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

XMLWordPrintableJSON

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

      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
              Reporter:
              Peter Macko
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

                Created:
                Updated:
                Resolved: