Skip to main content

concrete_bytes

foundry_evm_symbolic::runtime::expressions

Function concrete_bytes 

Source 
pub(crate) fn concrete_bytes(
    bytes: &[SymWord],
    reason: &'static str,
) -> Result<Vec<u8>, SymbolicError>
Expand description

Returns the concrete_bytes symbolic expression helper result.