run

Function run 

Source
pub(crate) fn run(args: Run, rust_fixpoint: bool) -> Result<()>