Merge remote-tracking branch 'origin/certora/dev' into certora/only-e…

…nabled

.github/workflows/certora.yml

@@ -0,0 +1,44 @@
+name: Certora
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+  workflow_dispatch:
+
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v3
+
+      - 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/solc8.19
+
+      - name: Verify rule ${{ matrix.script }}
+        run: |
+          echo "key length" ${#CERTORAKEY}
+          bash certora/scripts/${{ matrix.script }} --solc solc8.19
+        env:
+          CERTORAKEY: ${{ secrets.CERTORAKEY }}
+
+    strategy:
+      fail-fast: false
+      max-parallel: 4
+
+      matrix:
+        script:
+          - verifyBlue.sh

certora/scripts/verifyBlue.sh

@@ -1,4 +1,6 @@
-#!/bin/sh
+#!/bin/bash
+
+set -euxo pipefail
 
 certoraRun \
     certora/harness/MorphoHarness.sol \
@@ -7,5 +9,4 @@ certoraRun \
     --loop_iter 3 \
     --optimistic_loop \
     --msg "Morpho Blue" \
-    --send_only \
     "$@"

hardhat.config.ts

@@ -32,7 +32,7 @@ const config: HardhatUserConfig = {
   solidity: {
     compilers: [
       {
-        version: "0.8.21",
+        version: "0.8.19",
         settings: {
           optimizer: {
             enabled: true,