Loading...

XML

Word

Printable

JSON

Type: Task
Resolution: Fixed
Priority: Major - P3
Fix Version/s: 4.3.3
Affects Version/s: None
Component/s: Replication
Labels:
None

Backwards Compatibility:
Fully Compatible
Sprint:
Repl 2019-11-18, Repl 2019-12-02, Repl 2019-12-16, Repl 2019-12-30, Repl 2020-01-13, Repl 2020-01-27
Confidence Status:
None
Work Order:
3
CAR Domain/s:
None

Aha! Reference:
None
Tracking Level:
None
Risk Status:
None
Exec Notes:
None
Goal Name(s):
None
Goal Link:
None

~~SERVER-43588~~ will choose other specs to productionize, but the highest value in the past has been RaftMongo so we will start with that.

is depended on by

SERVER-45415 Factor RaftMongo.tla with MongoReplReconfig.tla

Backlog

related to

SERVER-46789 Make TLC wrapper script cross-platform

Closed

split from

SERVER-43588 Select and update TLA+ specs for trace checking

Closed

Assignee:: A. Jesse Jiryu Davis
Reporter:: Judah Schvimer
Participants:: A. Jesse Jiryu Davis, Githook User, Judah Schvimer
Votes:: 0 Vote for this issue
Watchers:: 5 Start watching this issue

Created:: Nov 06 2019 05:40:20 PM UTC
Updated:: Oct 29 2023 10:15:17 PM UTC
Resolved:: Jan 16 2020 07:22:14 PM UTC
Confidence Status Last Update:: 11/Dec/19 5:33 PM