Skip to main content

eval_expr

foundry_evm_symbolic::runtime::expressions

Function eval_expr 

Source 
pub(crate) fn eval_expr(
    expr: &Expr,
    model: &BTreeMap<String, U256>,
) -> Result<U256, SymbolicError>
Expand description

Returns the eval_expr symbolic expression helper result.