charon_lib::transform

Static ULLBC_PASSES

source 
pub static ULLBC_PASSES: &[Pass]
Expand description

Body cleanup passes on the ullbc.