Run the Move Prover on the package at path. If no path is provided defaults to current directory. Use .. prove .. -- <options> to pass on options to the prover.
path
.. prove .. -- <options>
Data representing the configuration of a prover test.
