Skip to main content

run_transformation_passes

charon_lib::transform

Function run_transformation_passes 

Source 
pub fn run_transformation_passes(options: &CliOpts, ctx: &mut TransformCtx)
Expand description

Run transformation passes on the crate before outputting it.