Skip to main content

kzg_constrained_outcome

foundry_evm_symbolic::executor::calls

Function kzg_constrained_outcome 

Source 
fn kzg_constrained_outcome(
    cx: &mut SymCx,
    state: &PathState,
    input: &[SymExpr],
    input_len: &SymExpr,
) -> Result<Option<Option<SymReturnData>>, SymbolicError>