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