Crate move_prover

Modules

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

Functions

• check_errors
• create_and_process_bytecode
  Create bytecode and process it.
• generate_boogie
• run_move_prover
• run_move_prover_errors_to_stderr
• run_move_prover_with_model
• verify_boogie