-
Type: Improvement
-
Resolution: Won't Fix
-
Priority: Major - P3
-
None
-
Affects Version/s: None
-
Component/s: Replication
-
Labels:None
We've imported two versions of RaftMongo.tla forĀ SERVER-44458 andĀ SERVER-44340. They represent divergent branches of development from an earlier RaftMongo.tla. Let's determine whether to merge them, factor out a common TLA+ module they share, or something else.