Skip to main content

word_bool_term

foundry_evm_symbolic::runtime::solver::normalize

Function word_bool_term 

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

Converts one 0/1 word boolean term into its boolean condition.