Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-45558

Revert logging additions for TLA+ Trace Checker project

    XMLWordPrintableJSON

Details

    • Icon: Task Task
    • Resolution: Fixed
    • Icon: Major - P3 Major - P3
    • 4.3.4
    • None
    • Replication
    • None
    • Fully Compatible

    Description

      We've decided to stop implementation of the TLA+ Trace Checker and write the paper describing how far we got, so the extra logging code will become dead code soon. Once we've done any final experiments for the paper, revert the logging changes made for SERVER-43589 "Add logging to be used by TLA+ trace checker for RaftMongo.tla".

      Update the instructions in https://github.com/mongodb-labs/repl-trace-checker/blob/master/README.md once we have reverted the logging changes.

      Attachments

        Activity

          People

            jesse@mongodb.com A. Jesse Jiryu Davis
            jesse@mongodb.com A. Jesse Jiryu Davis
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: