Skip to content
Long Verification

Update CheckQuorum condition from quorum in any config to quorum in every active config #3643

Sign in to view logs

Update CheckQuorum condition from quorum in any config to quorum in every active config

Update CheckQuorum condition from quorum in any config to quorum in every active config #3643

Model Checking With Reconfig - Consensus

Model Checking With Reconfig - Consensus
succeeded Oct 24, 2025 in 2h 33m 25s