Skip to main content

kzg_failure_witness_condition

foundry_evm_symbolic::executor::calls

Function kzg_failure_witness_condition 

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