probar

Ejecute Move Prover en el paquete enpath

Advertencia: la compatibilidad de Move Prover con Mov es actualmente limitada

Uso

movement mov move prove [OPTIONS] [COMMAND]

Opciones

• -p, --path <PACKAGE_PATH> Ruta a un paquete con respecto al cual se debe ejecutar el comando.

• -t, --target <TARGET_FILTER> El filtro de destino utilizado para podar los módulos a verificar. Los módulos con un nombre que contenga esta cadena formarán parte de la verificación.

• -d, --dev Compile en modo 'dev'. Los campos 'dev-addresses' y 'dev-dependencies' se utilizarán si se establece este indicador. Este indicador es útil para el desarrollo de paquetes que exponen direcciones con nombre que no están configuradas en un valor específico.

• --test Compile en modo 'prueba'. Los campos 'dev-addresses' y 'dev-dependencies' se utilizarán junto con cualquier código en el directorio 'tests'.

• --doc Generar documentación para paquetes.

• --abi Generar ABI para paquetes.

• --install-dir <INSTALL_DIR> Directorio de instalación para artefactos compilados. El valor predeterminado es el directorio actual.

• --force Forzar la recompilación de todos los paquetes.

• --fetch-deps-only Recupera solo repositorios de dependencia en MOVE_HOME.

• --skip-fetch-latest-git-deps Omita la búsqueda de las últimas dependencias de git.

• --default-move-flavor <DEFAULT_FLAVOR> Tipo predeterminado para la compilación de movimientos, si no se especifica en la configuración del paquete.

• --default-move-edition <DEFAULT_EDITION> Edición predeterminada para la compilación de movimientos, si no se especifica en la configuración del paquete.

• --dependencies-are-root Si se establece, los paquetes de dependencia se tratan como paquetes raíz. En particular, esto eliminará la supresión de advertencias en los paquetes de dependencia.

• --silence-warnings Si está configurado, ignore las advertencias del compilador.

• --warnings-are-errors Si se configuran, las advertencias se convierten en errores.

• -h, --help Imprimir ayuda.

• -V, --version Versión impresa.