chore: update certora & compiler used to match forge

aave · Oct 10, 2024 · 126311b · 126311b
1 parent 6d35524
commit 126311b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -20,13 +20,13 @@ jobs:
         with: { java-version: "11", java-package: jre }
 
       - name: Install certora cli
-        run: pip install certora-cli==7.6.3
+        run: pip install certora-cli==7.17.2
 
       - name: Install solc
         run: |
-          wget https://github.com/ethereum/solidity/releases/download/v0.8.10/solc-static-linux
+          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/solc8.10
+          sudo mv solc-static-linux /usr/local/bin/solc8.19
 
       - name: Verify rule ${{ matrix.rule }}
         run: |

diff --git a/certora/confs/ccip.conf b/certora/confs/ccip.conf
@@ -13,7 +13,7 @@
     "process": "emv",
     "prover_args": ["-depth 10","-mediumTimeout 700"],
     "smt_timeout": "600",
-    "solc": "solc8.10",
+    "solc": "solc8.19",
     "verify": "UpgradeableLockReleaseTokenPool:certora/specs/ccip.spec",
     "rule_sanity": "basic",
     "msg": "CCIP"