From 3e455acd3b82f62390ad6c537c3f445f5f8200b7 Mon Sep 17 00:00:00 2001
From: Goran Vladika <goran.vladika@gmail.com>
Date: Mon, 12 Aug 2024 16:02:19 +0200
Subject: [PATCH] Run basic

---
 .github/workflows/gambit.yml | 11 ++++++
 test-mutation/config.json    | 75 +-----------------------------------
 2 files changed, 13 insertions(+), 73 deletions(-)

diff --git a/.github/workflows/gambit.yml b/.github/workflows/gambit.yml
index fac59a8a9..9b86a9efa 100644
--- 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
index 85bc60d01..a907d28c5 100644
--- 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
   }
 ]