Module move_prover::cli

source ·
Expand description

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

Structs

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

Statics

Functions