Tweak infection.json.dist

sanmai · Apr 15, 2023 · a9fd911 · a9fd911
1 parent dcd84d1
commit a9fd911
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/infection.json.dist b/infection.json.dist
@@ -1,11 +1,14 @@
 {
-    "timeout": 2,
+    "timeout": 5,
     "source": {
         "directories": [
             "src"
         ]
     },
     "mutators": {
+        "global-ignoreSourceCodeByRegex": [
+            "assert.*"
+        ],
         "@default": true,
         "IdenticalEqual": false,
         "NotIdenticalNotEqual": false