Skip to main content

validate_departed_view_logs

Function validate_departed_view_logs 

Source
pub fn validate_departed_view_logs<'a>(
    departed: impl IntoIterator<Item = &'a CheckpointManifest>,
    cut: impl IntoIterator<Item = &'a CheckpointManifest>,
) -> Result<(), String>
Expand description

Every segment the departed participants’ view logs held at the predecessor cut is listed exactly once, by the same view, in this cut.

§Errors

Returns an error naming the first departed segment this cut lost or lists twice.