Skip to main content

function_mock_match_condition

foundry_evm_symbolic::runtime::expressions

Function function_mock_match_condition 

Source 
pub(crate) fn function_mock_match_condition(
    mock: &FunctionMock,
    callee: Address,
    calldata: &[SymWord],
    reason: &'static str,
) -> Result<Option<BoolExpr>, SymbolicError>
Expand description

Implements the function_mock_match_condition symbolic expression helper.