Certora Prover Documentation
74

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
    • Using the Certora Portal
      • Certora Verification Reports
      • Special Portal URLs
    • Release Notes
    • CallResolutionTable
  • Gambit: Mutation Generator for Solidity
  • Equivalence Checking Using the Certora Prover
  • Old Documentation
Certora Prover Documentation
  • »
  • The Certora Prover »
  • Using the Certora Portal
  • Edit on GitHub

Warning

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

Using the Certora Portal

  • Certora Verification Reports
    • Storage in Call Trace
      • How can the storage change?
      • When do we show the storage state?
      • What do we show?
      • What are the “computational types”?
      • Limitations of the current “computational type” resolution
  • Special Portal URLs
    • Job status
    • Additional error reports
    • Timeout analysis
    • Zip output
Previous Next

© Copyright 2022, Certora, Inc. Revision be21c3fb.

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