set_mir_options

charon_driver::driver

Function set_mir_options 

Source 
fn set_mir_options(config: &mut Config)
Expand description

Tweak options to get usable MIR even for foreign crates.