Skip to main content

model_bytes

foundry_evm_symbolic::runtime::expressions

Function model_bytes 

Source 
pub(crate) fn model_bytes(
    bytes: &[SymWord],
    model: &BTreeMap<String, U256>,
) -> Result<Vec<u8>, SymbolicError>
Expand description

Returns the model_bytes symbolic expression helper result.