Skip to main content

model_word

foundry_evm_symbolic::runtime::expressions

Function model_word 

Source 
pub(crate) fn model_word(
    word: &SymWord,
    model: &BTreeMap<String, U256>,
) -> Result<U256, SymbolicError>
Expand description

Returns the model_word symbolic expression helper result.