Skip to content

[Certora] Supply cap #366

[Certora] Supply cap

[Certora] Supply cap #366

Workflow file for this run

name: Certora
on:
push:
branches:
- main
pull_request:
workflow_dispatch:
jobs:
verify:
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
conf:
- ConsistentState
- DistinctIdentifiers
- Enabled
- Immutability
- LastUpdated
- Liveness
- MarketInteractions
- PendingValues
- Range
- Reentrancy
- Reverts
- Roles
- SupplyCap
- Timelock
- Tokens
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Install python
uses: actions/setup-python@v5
with:
python-version: ">=3.11"
- name: Install certora
run: pip install certora-cli
- name: Install solc (0.8.19)
run: |
wget https://github.com/ethereum/solidity/releases/download/v0.8.19/solc-static-linux
chmod +x solc-static-linux
sudo mv solc-static-linux /usr/local/bin/solc-0.8.19
- name: Install solc (0.8.21)
run: |
wget https://github.com/ethereum/solidity/releases/download/v0.8.21/solc-static-linux
chmod +x solc-static-linux
sudo mv solc-static-linux /usr/local/bin/solc-0.8.21
- name: Apply munging
run: make -C certora munged
- name: Verify ${{ matrix.conf }} specification
run: certoraRun certora/confs/${{ matrix.conf }}.conf
env:
CERTORAKEY: ${{ secrets.CERTORAKEY }}