-
Type: New Feature
-
Resolution: Fixed
-
Priority: Major - P3
-
Affects Version/s: None
-
Component/s: Replication
-
Labels:None
-
Fully Compatible
-
Repl 2020-02-10
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.