Certora Prover Documentation
latest

Contents

  • Certora Technology White Paper
  • Certora User’s Guide
  • The Certora Verification Language
  • The Certora Prover
    • Introduction
    • Installation
    • Prover Approximations
    • Checking Specifications
    • Certora Prover CLI
      • Verification
      • Linking
      • Certora Prover CLI Options
    • Using the Certora Portal
    • Changelog
  • Gambit: Mutation Generator for Solidity
  • Old Documentation
Certora Prover Documentation
  • »
  • The Certora Prover »
  • Certora Prover CLI
  • Edit on GitHub

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
    • Debugging options
    • Advanced options
Previous Next

© Copyright 2022, Certora, Inc. Revision 1076df8a.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
Downloads
On Read the Docs
Project Home
Builds