charon_lib::transform

Static SHARED_FINALIZING_PASSES

Source
pub static SHARED_FINALIZING_PASSES: &[Pass]
Expand description

Cleanup passes useful for both llbc and ullbc.