charon_lib::transform

Static SHARED_FINALIZING_PASSES

source 
pub static SHARED_FINALIZING_PASSES: &[Pass]
Expand description

Cleanup passes useful for both llbc and ullbc.