Skip to main content

decide_completion

a3s_code_core::harness_loop

Function decide_completion 

Source 
pub fn decide_completion(
    ledger: &MutationLedger,
    reports: &[VerificationReport],
    waivers: &[CompletionWaiverV1],
    allow_continuation: bool,
) -> CompletionGate