List of all items

Structs

• cli::Options

Functions

• check_errors
• cli::named_addresses_for_options
• create_and_process_bytecode
• generate_boogie
• run_move_prover
• run_move_prover_errors_to_stderr
• run_move_prover_with_model
• verify_boogie

Statics

• cli::DEFAULT_OPTIONS