[][src]Module move_prover::cli

Functionality related to the command line interface of the Move prover.

Structs

BackendOptions

Backend options.

Options

Represents options provided to the tool. Most of those options are configured via a toml source; some over the command line flags.

ProverOptions

Constants

INLINE_PRELUDE

Represents the virtual path to the boogie prelude which is inlined into the binary.