Skip to content
TLA+ Spec Verification

Do not assert committableIndices of the next state in "replicate", which can cause an error if the log ends on this "replicate". #723

Sign in to view logs

Do not assert committableIndices of the next state in "replicate", which can cause an error if the log ends on this "replicate".

Do not assert committableIndices of the next state in "replicate", which can cause an error if the log ends on this "replicate". #723

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Model Checking - Consistency
2m 14s
Model Checking - Consensus
2m 32s
Simulation - Consensus
50m 57s
Counterexamples - Consistency
1m 11s
Simulation - Consistency
6m 10s
1h 3m 4s