Prepare CI specific config file

OffchainLabs · Aug 13, 2024 · 6a87599 · 6a87599
1 parent f420936
commit 6a87599
Show file tree

Hide file tree

Showing 6 changed files with 135 additions and 25 deletions.
diff --git a/.github/workflows/gambit.yml b/.github/workflows/gambit.yml
@@ -42,8 +42,8 @@ jobs:
           solc-select install 0.8.16
           solc-select use 0.8.16
 
-      - name: Verify solc Installation
-        run: solc --version
+      - name: Set config file
+        run: cp ./test-mutation/config-templates/config-ci.json ./test-mutation/config.json
 
       - name: Run mutation tests
         run: |

diff --git a/test-mutation/config-templates/config-ci.json b/test-mutation/config-templates/config-ci.json
@@ -0,0 +1,132 @@
+[
+  {
+    "filename": "../contracts/tokenbridge/ethereum/L1ArbitrumMessenger.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1ArbitrumExtendedGateway.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1ArbitrumGateway.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1CustomGateway.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1ERC20Gateway.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1ForceOnlyReverseCustomGateway.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1GatewayRouter.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1OrbitCustomGateway.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1OrbitERC20Gateway.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1OrbitGatewayRouter.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1OrbitReverseCustomGateway.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1ReverseCustomGateway.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  },
+  {
+    "filename": "../contracts/tokenbridge/ethereum/gateway/L1WethGateway.sol",
+    "sourceroot": "..",
+    "solc_remappings": [
+      "@openzeppelin=../node_modules/@openzeppelin",
+      "@arbitrum=../node_modules/@arbitrum"
+    ],
+    "num_mutants": 4,
+    "random_seed": true
+  }
+]
diff --git a/test-mutation/all-configs/config.single.json → ...ation/config-templates/config.single.json b/test-mutation/all-configs/config.single.json → ...ation/config-templates/config.single.json
diff --git a/...-configs/config.tokenbridge-arbitrum.json → ...emplates/config.tokenbridge-arbitrum.json b/...-configs/config.tokenbridge-arbitrum.json → ...emplates/config.tokenbridge-arbitrum.json
diff --git a/...-configs/config.tokenbridge-ethereum.json → ...emplates/config.tokenbridge-ethereum.json b/...-configs/config.tokenbridge-ethereum.json → ...emplates/config.tokenbridge-ethereum.json
diff --git a/test-mutation/config.json b/test-mutation/config.json
@@ -5,28 +5,6 @@
     "solc_remappings": [
       "@openzeppelin=../node_modules/@openzeppelin",
       "@arbitrum=../node_modules/@arbitrum"
-    ],
-    "num_mutants": 4,
-    "random_seed": true
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/gateway/L2CustomGateway.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ],
-    "num_mutants": 4,
-    "random_seed": true
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/gateway/L2ERC20Gateway.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ],
-    "num_mutants": 4,
-    "random_seed": true
+    ]
   }
 ]