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.

PreviousnuevoNextprueba

Last updated