prove

Run the Move Prover on the package at path

Warning: Move Prover support for Mov is currently limited

Usage

movement mov move prove [OPTIONS] [COMMAND]

Options

• -p, --path <PACKAGE_PATH> Path to a package which the command should be run with respect to.

• -t, --target <TARGET_FILTER> The target filter used to prune the modules to verify. Modules with a name that contains this string will be part of verification.

• -d, --dev Compile in 'dev' mode. The 'dev-addresses' and 'dev-dependencies' fields will be used if this flag is set. This flag is useful for development of packages that expose named addresses that are not set to a specific value.

• --test Compile in 'test' mode. The 'dev-addresses' and 'dev-dependencies' fields will be used along with any code in the 'tests' directory.

• --doc Generate documentation for packages.

• --abi Generate ABIs for packages.

• --install-dir <INSTALL_DIR> Installation directory for compiled artifacts. Defaults to current directory.

• --force Force recompilation of all packages.

• --fetch-deps-only Only fetch dependency repos to MOVE_HOME.

• --skip-fetch-latest-git-deps Skip fetching latest git dependencies.

• --default-move-flavor <DEFAULT_FLAVOR> Default flavor for move compilation, if not specified in the package's config.

• --default-move-edition <DEFAULT_EDITION> Default edition for move compilation, if not specified in the package's config.

• --dependencies-are-root If set, dependency packages are treated as root packages. Notably, this will remove warning suppression in dependency packages.

• --silence-warnings If set, ignore any compiler warnings.

• --warnings-are-errors If set, warnings become errors.

• -h, --help Print help.

• -V, --version Print version.