Skip to main content

kzg_versioned_hash_mismatch_condition

foundry_evm_symbolic::executor::calls

Function kzg_versioned_hash_mismatch_condition 

Source 
fn kzg_versioned_hash_mismatch_condition(
    cx: &mut SymCx,
    input: &[SymExpr],
    expected_hash: &[u8; 32],
) -> SymBoolExpr