Skip to main content

bool_contains_keccak

foundry_evm_symbolic::runtime::expressions

Function bool_contains_keccak 

Source 
pub(crate) fn bool_contains_keccak(expr: &BoolExpr) -> bool
Expand description

Returns the bool_contains_keccak symbolic expression helper result.