Skip to main content

kzg_success_witness_condition

foundry_evm_symbolic::executor::calls

Function kzg_success_witness_condition 

Source 
fn kzg_success_witness_condition(
    cx: &mut SymCx,
    input: &[SymExpr],
    input_len: &SymExpr,
) -> SymBoolExpr