Certora Prover CLI
Contents
- CLI Options
- Using Configuration (Conf) Files
- 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 summarization
- 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
- Control flow splitting options
- Configuration (Conf) Files