From 94f9f7ac588b94f0da86d355e24cb5a2f62b54b8 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Tue, 20 Sep 2022 16:15:33 +0200
Subject: [PATCH] test matrix

---
 .github/workflows/formal-verifiation.yml | 11 +++++++----
 certora/matrix.json                      |  2 +-
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index 55458f90a..1df39bab6 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -37,17 +37,20 @@ jobs:
       #     wget https://github.com/ethereum/solidity/releases/download/v0.8.17/solc-static-linux
       #     sudo mv solc-static-linux /usr/local/bin/solc
       #     chmod +x /usr/local/bin/solc
-      - name: Verify rule ${{ matrix.script }}
+      - name: Verify rule ${{ matrix.params }}
+        if: matrix.params.disabled != true
         run: |
-          echo ${{ matrix.script }}
+          echo ${{ matrix.params.file }}
+          echo ${{ matrix.params.name }}
+          echo ${{ matrix.params.spec }}
         # touch certora/applyHarness.patch
         # make -C certora munged
         # echo "key length" ${#CERTORAKEY}
-        # sh ${{ matrix.script }}
+        # sh ${{ matrix.params }}
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}
     strategy:
       fail-fast: false
       max-parallel: 4
       matrix:
-        script: ${{ fromJson(needs.list-scripts.outputs.matrix) }}
+        params: ${{ fromJson(needs.list-scripts.outputs.matrix) }}
diff --git a/certora/matrix.json b/certora/matrix.json
index 804415d9d..3724f049b 100644
--- a/certora/matrix.json
+++ b/certora/matrix.json
@@ -23,7 +23,7 @@
     "name": "GovernorPreventLateQuorumHarness",
     "spec": "certora/specs/GovernorPreventLateQuorum.spec"
 },{
-    "disable": true,
+    "disabled": true,
     "file": "certora/harnesses/InitializableComplexHarness.sol",
     "name": "InitializableComplexHarness",
     "spec": "certora/specs/Initializable.spec"