charon_lib::transform

Static LLBC_PASSES

source 
pub static LLBC_PASSES: &[Pass]
Expand description

Body cleanup passes after control flow reconstruction.