Details
-
Task
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
Fully Compatible
-
Repl 2019-12-16, Repl 2019-12-30, Repl 2020-01-13, Repl 2020-01-27, Repl 2020-02-10
Description
We need to update the model to check the final design.
- Checking all entries in the previous config is also committed in the current config.
- Model arbiters.
"force" reconfig may also be included in the model, but the correctness is tricky, so it's a stretch goal.
Attachments
Issue Links
- is depended on by
-
SERVER-45415 Factor RaftMongo.tla with MongoReplReconfig.tla
-
- Backlog
-