/src/mongo/tla_plus/MongoReplReconfig/

• ../
• MCMongoReplReconfig.cfg
• MCMongoReplReconfig.tla
• MongoReplReconfig.tla