charon_lib::transform

Static LLBC_PASSES

Source
pub static LLBC_PASSES: &[Pass]
Expand description

Body cleanup passes after control flow reconstruction.