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(
    cx: &mut SymCx,
    algorithm: &'static str,
    input: &SymBytes,
    input_len: usize,
    output_len: usize,
) -> SymReturnData