Details
-
New Feature
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
Fully Compatible
-
Repl 2020-02-10
Description
NeverRollbackCommitted and NeverRollbackBeforeCommitPoint hold for small replica sets in RaftMongo.tla, and CommitPointEventuallyPropagates should hold for all model configurations. Enable them in MCRaftMongo.cfg, and move commentary about them to that file.