Skip to content

[Certora] mutant 5 #235

[Certora] mutant 5

[Certora] mutant 5 #235

Workflow file for this run

name: Certora
on:
push:
branches:
- main
pull_request:
workflow_dispatch:
jobs:
verify:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- name: Install python
uses: actions/setup-python@v4
with:
python-version: "3.10"
- name: Install certora
run: pip install certora-cli
- name: Install solc
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
- name: Verify rule ${{ matrix.script }}
run: |
echo "key length" ${#CERTORAKEY}
certoraRun certora/confs/${{ matrix.conf }}.conf
env:
CERTORAKEY: ${{ secrets.CERTORAKEY }}
strategy:
fail-fast: false
matrix:
conf:
- AccrueInterest
- ConsistentState
- ExactMath
- ExitLiquidity
- Health
- LibSummary
- Liveness
- RatioMath
- Reentrancy
- Reverts
- Transfer