Skip to main content

run

Function run 

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