Print mutant overview

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

Hide file tree

Showing 2 changed files with 18 additions and 3 deletions.
diff --git a/test-mutation/config.json b/test-mutation/config.json
@@ -1,10 +1,22 @@
 [
   {
-    "filename": "../contracts/tokenbridge/arbitrum/gateway/L2ArbitrumGateway.sol",
+    "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
   }
 ]
diff --git a/test-mutation/gambitTester.ts b/test-mutation/gambitTester.ts
@@ -46,7 +46,7 @@ async function runMutationTesting() {
   console.log('====== Generating mutants')
   const mutants: Mutant[] = await _generateMutants()
 
-  console.log('\n====== Test mutants')
+  console.log('\n====== Testing mutants')
   const results = await _testAllMutants(mutants)
 
   // Print summary
@@ -74,6 +74,9 @@ async function _generateMutants(): Promise<Mutant[]> {
     fs.readFileSync(`${GAMBIT_OUT}/gambit_results.json`, 'utf8')
   )
   console.log(`Generated ${mutants.length} mutants in ${GAMBIT_OUT}`)
+  console.log('----------------------------------------------')
+  console.log('Mutants overview:')
+  console.log(fs.readFileSync(`${GAMBIT_OUT}/mutants.log`, 'utf8'))
 
   return mutants
 }