/src/mongo/tla_plus/RaftMongo/

• ../
• MCRaftMongo.cfg
• MCRaftMongo.tla
• RaftMongo.tla