[][src]Function move_prover::run_move_prover_errors_to_stderr

pub fn run_move_prover_errors_to_stderr(options: Options) -> Result<()>