Open WiredTiger in a child process during test/model verification

XMLWordPrintableJSON

    • Storage Engines
    • StorEng - Defined Pipeline
    • None

      test/model's main test tool currently opens WiredTiger directly within its top-level process, in run_and_verify. The tool should do the verification in a child process in case the verification hits an assertion, which if happens, breaks counterexample reduction.

              Assignee:
              Peter Macko
              Reporter:
              Peter Macko
              Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

                Created:
                Updated:
                Resolved: