Run basic

OffchainLabs · Aug 12, 2024 · 3e455ac · 3e455ac
1 parent 61d9758
commit 3e455ac
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 73 deletions.
diff --git a/.github/workflows/gambit.yml b/.github/workflows/gambit.yml
@@ -16,3 +16,14 @@ jobs:
 
       - name: Verify Gambit Installation
         run: gambit --help
+
+      - name: Setup node/yarn
+        uses: actions/setup-node@v3
+        with:
+          node-version: 18
+          cache: 'yarn'
+          cache-dependency-path: '**/yarn.lock'
+
+      - name: Run mutation tests
+        run: |
+          yarn test:mutation
diff --git a/test-mutation/config.json b/test-mutation/config.json
@@ -5,78 +5,7 @@
     "solc_remappings": [
       "@openzeppelin=../node_modules/@openzeppelin",
       "@arbitrum=../node_modules/@arbitrum"
-    ]
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/gateway/L2CustomGateway.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ]
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/gateway/L2ERC20Gateway.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ]
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/gateway/L2GatewayRouter.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ]
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/gateway/L2ReverseCustomGateway.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ]
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/gateway/L2WethGateway.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ]
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/L2ArbitrumMessenger.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ]
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/L2AtomicTokenBridgeFactory.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ]
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/ReverseArbToken.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ]
-  },
-  {
-    "filename": "../contracts/tokenbridge/arbitrum/StandardArbERC20.sol",
-    "sourceroot": "..",
-    "solc_remappings": [
-      "@openzeppelin=../node_modules/@openzeppelin",
-      "@arbitrum=../node_modules/@arbitrum"
-    ]
+    ],
+    "num_mutants": 3
   }
 ]