Skip to main content

bool_const_value

foundry_evm_symbolic::runtime::expressions

Function bool_const_value 

Source 
pub(crate) fn bool_const_value(expr: &BoolExpr) -> Option<bool>
Expand description

Returns the bool_const_value symbolic expression helper result.