Function move_prover::run_move_prover_errors_to_stderr

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