Skip to main content

signextend_word

foundry_evm_symbolic::runtime::evm

Function signextend_word 

Source 
pub(crate) fn signextend_word(
    cx: &mut SymCx,
    byte_index: U256,
    value: SymExpr,
) -> SymExpr