test matrix

.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) }}

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"