Skip to main content

eff_exchange_malloc

rapx::verify::call_summary::builtin_models

Function eff_exchange_malloc 

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