Skip to main content

verify_incremental

logicaffeine_verify::incremental

Function verify_incremental 

Source 
pub fn verify_incremental(
    properties: &[(VerifyExpr, Vec<String>)],
    changes: &[ChangeEvent],
    cache: &mut VerificationCache,
) -> Vec<(PropertyHash, bool)>
Expand description

Verify properties incrementally.