Skip to main content

eval_bool_expr

foundry_evm_symbolic::runtime::expressions

Function eval_bool_expr 

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

Returns the eval_bool_expr symbolic expression helper result.