From 8ebd5059a24e00e24e4481dd9a90b732fde150dc Mon Sep 17 00:00:00 2001 From: Shebin John Date: Tue, 21 Jan 2025 11:12:15 +0100 Subject: [PATCH] Certora Workfile Updated (#904) This PR adds the FV rules introduced in #901 to the workflow. --- .github/workflows/certora.yml | 2 +- certora/requirements.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml index acabfb8aa..96580b4bd 100644 --- a/.github/workflows/certora.yml +++ b/.github/workflows/certora.yml @@ -15,7 +15,7 @@ jobs: runs-on: ubuntu-latest strategy: matrix: - rule: ["owner", "safe", "module", "nativeTokenRefund", "signatures", "safeMigration", "safeToL2Migration", "safeToL2Setup"] + rule: ["execute", "extensible", "fallback", "guards", "hash", "module", "nativeTokenRefund", "owner", "safe", "safeMigration", "safeToL2Migration", "safeToL2Setup", "setup", "signatures"] steps: - uses: actions/checkout@v4 diff --git a/certora/requirements.txt b/certora/requirements.txt index df37fea8f..6ab909e71 100644 --- a/certora/requirements.txt +++ b/certora/requirements.txt @@ -1 +1 @@ -certora-cli==7.10.1 +certora-cli==7.22.2