charon_lib::transform

Static SHARED_FINALIZING_PASSES

Source 
pub static SHARED_FINALIZING_PASSES: &[Pass]
Expand description

Cleanup passes useful for both llbc and ullbc.