Certora Prover Documentation Logo

Contents

  • Certora User’s Guide
  • The Certora Verification Language
  • The Certora Prover
  • Sunbeam: Verification for Soroban
  • The Certora Solana Prover
  • Ranger
    • Introduction
    • Getting Started
    • How Ranger Works
    • The Ranger Client
  • Gambit: Mutation Generator for Solidity

Additional information

  • The Certora Equivalence Checker
  • Certora Technology White Paper
  • Index
Certora Prover Documentation
  • Ranger
  • View page source

Ranger

Text

  • Introduction
    • Why Ranger?
    • Scope and Limitations
  • Getting Started
    • 1. Install Certora Tools
    • 2. Prepare Your Files
    • 3. Run Ranger
    • 4. View the Results
  • How Ranger Works
    • The Initial State
    • Sequences
    • Ranger’s flow
  • The Ranger Client
    • Ranger-specific flags
    • Default Under-approximations
    • Unsupported Prover flags
    • Config file compatibility
Previous Next

© Copyright 2025, Certora, Inc.

Built with Sphinx using a theme provided by Read the Docs.