[][src]Function move_prover::run_move_prover

pub fn run_move_prover<W: WriteColor>(
    error_writer: &mut W,
    options: Options
) -> Result<()>