Function move_prover::run_move_prover_with_model
source · pub fn run_move_prover_with_model<W: WriteColor>(
env: &GlobalEnv,
error_writer: &mut W,
options: Options,
timer: Option<Instant>
) -> Result<()>pub fn run_move_prover_with_model<W: WriteColor>(
env: &GlobalEnv,
error_writer: &mut W,
options: Options,
timer: Option<Instant>
) -> Result<()>