Skip to main content

symbolic_fixed_len_precompile_output

foundry_evm_symbolic::runtime::precompiles

Function symbolic_fixed_len_precompile_output 

Source 
pub(crate) fn symbolic_fixed_len_precompile_output(
    algorithm: &'static str,
    input: Vec<SymWord>,
    input_len: usize,
    output_len: usize,
) -> SymReturnData
Expand description

Returns the symbolic_fixed_len_precompile_output precompile helper result.