.gitignore

files/
MongoRaftReconfig_*Check.tla
MongoRaftReconfig_*Check.cfg
*_TautCheck_*.tla
MongoStaticRaftOther_*Check.tla
MongoStaticRaftOther_*Check.cfg
peterson_*Check.tla
peterson_*Check.cfg
TwoPhase_*Check.*
Paxos_*Check.*
SimpleElection_*Check.tla
SimpleElection_*Check.cfg
Bakery_*Check.tla
Bakery_*Check.cfg
consensus_wo_decide_*Check.tla
consensus_wo_decide_*Check.cfg
*_CTIGen.*
*_CTIQuickCheck.*
*_IndQuickCheck.*
*_InvCheck.tla
*_InvCheck.cfg
*_InvCheck_*.tla
*_InvCheck_*.cfg
*_CTIGen_*.tla
*_CTIGen_*.cfg
*_TautCheck.*
states_read
states.json
cti_quick_check_*.json
cppinvs/
invcheck_runner_*
gen_cpp/
cpp-invgen-iter*.invs
pregen*.invs
gen_tla
states/
*.tlaps/
*.toolbox/
__pycache__/
benchmarks.log
*.proofs.html