Skip to content
Back to pull request #6508

Model max_uncommitted_tx_count of raft.h in abs.tla #2134

Sign in to view logs

Model max_uncommitted_tx_count of raft.h in abs.tla

Model max_uncommitted_tx_count of raft.h in abs.tla #2134

Model Checking - Consensus

Model Checking - Consensus
succeeded Sep 27, 2024 in 36m 13s