mongodb-labs/repl-trace-checker
Check that a replica set's execution trace is a valid TLA+ spec behavior
Stars: 8Language: Python
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubCheck that a replica set's execution trace is a valid TLA+ spec behavior