Skip to main content

eff_offset_from_unsigned

rapx::verify::call_summary::fn_simulator

Function eff_offset_from_unsigned 

Source 
fn eff_offset_from_unsigned(_ctx: &EffCtx<'_, '_>) -> Vec<CallEffect>