Warning

This page was created from a pull request (#74).

Certora Prover CLI

Contents

• Verification
• Linking
• Certora Prover CLI Options
  • Modes of operation
  • Most frequently used options
  • Options affecting the type of verification run
  • Options that control the Solidity compiler
  • Options regarding source code loops
  • Options regarding hashing of unbounded data
  • Options that help reduce the running time
  • Options to set addresses and link contracts
  • Options for controlling contract creation
  • Version options
  • Advanced options