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

---
 .github/workflows/formal-verifiation.yml | 37 ++++++++++++------------
 certora/matrix.json                      | 30 +++++++++++++++++++
 2 files changed, 49 insertions(+), 18 deletions(-)
 create mode 100644 certora/matrix.json

diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index bd03ac8cd..55458f90a 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -17,32 +17,33 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - id: set-matrix
-        run: echo ::set-output name=matrix::$(ls certora/scripts/**/*.sh | jq -Rsc 'split("\n")[:-1]')
+        run: echo ::set-output name=matrix::$(cat certora/matrix.json)
 
   verify:
     runs-on: ubuntu-latest
     needs: list-scripts
     steps:
       - uses: actions/checkout@v2
-      - name: Install python
-        uses: actions/setup-python@v2
-        with: { python-version: 3.6, cache: 'pip' }
-      - name: Install java
-        uses: actions/setup-java@v1
-        with: { java-version: "11", java-package: jre }
-      - name: Install certora
-        run: pip install certora-cli
-      - name: Install solc
-        run: |
-          wget https://github.com/ethereum/solidity/releases/download/v0.8.4/solc-static-linux
-          chmod +x solc-static-linux
-          sudo mv solc-static-linux /usr/local/bin/solc8.4
+      # - name: Install python
+      #   uses: actions/setup-python@v2
+      #   with: { python-version: 3.6, cache: 'pip' }
+      # - name: Install java
+      #   uses: actions/setup-java@v1
+      #   with: { java-version: "11", java-package: jre }
+      # - name: Install certora
+      #   run: pip install certora-cli
+      # - name: Install solc
+      #   run: |
+      #     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 }}
         run: |
-          touch certora/applyHarness.patch
-          make -C certora munged
-          echo "key length" ${#CERTORAKEY}
-          sh ${{ matrix.script }}
+          echo ${{ matrix.script }}
+        # touch certora/applyHarness.patch
+        # make -C certora munged
+        # echo "key length" ${#CERTORAKEY}
+        # sh ${{ matrix.script }}
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}
     strategy:
diff --git a/certora/matrix.json b/certora/matrix.json
new file mode 100644
index 000000000..804415d9d
--- /dev/null
+++ b/certora/matrix.json
@@ -0,0 +1,30 @@
+[{
+    "file": "certora/harnesses/ERC1155/ERC1155Harness.sol",
+    "name": "ERC1155Harness",
+    "spec": "certora/specs/ERC1155.spec"
+},{
+    "file": "certora/harnesses/ERC1155/ERC1155BurnableHarness.sol",
+    "name": "ERC1155BurnableHarness",
+    "spec": "certora/specs/ERC1155Burnable.spec"
+},{
+    "file": "certora/harnesses/ERC1155/ERC1155BurnableHarness.sol",
+    "name": "ERC1155BurnableHarness",
+    "spec": "certora/specs/ERC1155Burnable.spec"
+},{
+    "file": "certora/harnesses/ERC1155/ERC1155PausableHarness.sol",
+    "name": "ERC1155PausableHarness",
+    "spec": "certora/specs/ERC1155Pausable.spec"
+},{
+    "file": "certora/harnesses/ERC1155/ERC1155SupplyHarness.sol",
+    "name": "ERC1155SupplyHarness",
+    "spec": "certora/specs/ERC1155Supply.spec"
+},{
+    "file": "certora/harnesses/ERC721VotesHarness.sol certora/munged/governance/TimelockController.sol certora/harnesses/GovernorPreventLateQuorumHarness.sol",
+    "name": "GovernorPreventLateQuorumHarness",
+    "spec": "certora/specs/GovernorPreventLateQuorum.spec"
+},{
+    "disable": true,
+    "file": "certora/harnesses/InitializableComplexHarness.sol",
+    "name": "InitializableComplexHarness",
+    "spec": "certora/specs/Initializable.spec"
+}]