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

The logs for this run have expired and are no longer available.