From 4c14d26708367a173f94f327673cdbd521002eef Mon Sep 17 00:00:00 2001
From: Daniel Badura <d.m.badura@googlemail.com>
Date: Fri, 29 Jan 2021 12:20:20 +0100
Subject: [PATCH] increase msi, add log into file

---
 .gitignore          | 1 +
 infection.json.dist | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 7983535ea..6e2800774 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@ phpunit.xml
 .phpunit.result.cache
 .phpcs-cache
 phpstan.neon
+infection.log
diff --git a/infection.json.dist b/infection.json.dist
index b3d93d935..90b015825 100644
--- a/infection.json.dist
+++ b/infection.json.dist
@@ -5,7 +5,7 @@
     ]
   },
   "logs": {
-    "text": "php:\/\/stderr",
+    "text": "infection.log",
     "badge": {
       "branch": "master"
     }
@@ -13,6 +13,6 @@
   "mutators": {
     "@default": true
   },
-  "minMsi": 40,
-  "minCoveredMsi": 40
+  "minMsi": 52,
+  "minCoveredMsi": 76
 }