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