Skip to main content

eff_allocator_allocate

rapx::verify::call_summary::fn_simulator

Function eff_allocator_allocate 

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