Skip to main content

bounded_copy_size_parts

foundry_evm_symbolic::runtime::calldata

Function bounded_copy_size_parts 

Source 
pub(crate) fn bounded_copy_size_parts(
    size: &BoundedCopySize,
) -> (SymWord, usize, bool)
Expand description

Implements the bounded_copy_size_parts symbolic calldata helper.