-
Notifications
You must be signed in to change notification settings - Fork 32
/
infection.json5
102 lines (102 loc) · 3.13 KB
/
infection.json5
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
{
"$schema": "vendor/infection/infection/resources/schema.json",
"source": {
"directories": [
"server/src/",
],
},
"timeout": 20,
"testFramework": "phpunit",
"mutators": {
"global-ignoreSourceCodeByRegex": [
"\\$this->log\\(.*\\);",
"throw new GameException\\(.+\\);",
"GameException::invalid\\(.*\\);",
"GameException::notImplementedYet\\(.*\\);",
],
"@default": true,
"@conditional_boundary": false,
"@conditional_negotiation": false,
"CastInt": false,
"Continue_": false,
"DecrementInteger": false,
"FalseValue": false,
"IfNegation": false,
"Increment": false,
"IncrementInteger": false,
"LogicalAnd": false,
"LogicalAndAllSubExprNegation": false,
"LogicalOr": false,
"LogicalOrAllSubExprNegation": false,
"Minus": false,
"Modulus": false,
"Multiplication": false,
"Plus": false,
"RoundingFamily": false,
"TrueValue": false,
"ArrayItem": {
"ignore": [
"cs\\Event\\*::serialize",
],
},
"ArrayItemRemoval": {
"ignore": [
"cs\\Event\\*::serialize",
],
},
"Break_": {
"ignore": [
"cs\\Traits\\Player\\JumpTrait::jump",
],
},
"Coalesce": {
"ignoreSourceCodeByRegex": [
".+\\(\\$skipPlayerIds\\[\\$playerId\\].+",
".+SpeedMultiplier-\\{\\$itemId\\}.+",
],
},
"Division": {
"ignoreSourceCodeByRegex": [
".+rand\\(.+",
],
},
"InstanceOf_": {
"ignoreSourceCodeByRegex": [
"if\\s*\\(\\$this->ball->getResolutionAngleVertical\\(\\) > 0 && \\(.+",
],
},
"LogicalAndNegation": {
"ignoreSourceCodeByRegex": [
"if\\s*\\(\\$count > 10 && \\$count % 2 === 0\\)\\s\\{",
],
},
"MatchArmRemoval": {
"ignoreSourceCodeByRegex": [
".+GameException::invalid\\(.+",
],
},
"MethodCallRemoval": {
"ignoreSourceCodeByRegex": [
"\\$this->setActiveFloor\\(.+\\);",
"\\$prevPos->setFrom\\(\\$candidate\\);",
"\\$prevPos->setFrom\\(\\$newPos\\);",
"\\$this->makeSound\\(.+\\);",
"\\$soundEvent->setItem\\(.+\\);",
"\\$soundEvent->setPlayer\\(.+\\);",
"\\$soundEvent->setSurface\\(.+\\);",
"\\$soundEvent->addExtra\\(.+\\);",
"\\$this->addSoundEvent\\(.+\\);",
"\\$bullet->addPlayerIdSkip\\(\\$playerId\\);",
"\\$this->convertToNavMeshNode\\(\\$navmesh\\);",
],
},
"Ternary": {
"ignore": [
"cs\\Core\\Player::serialize",
],
"ignoreSourceCodeByRegex": [
".+rand\\(.+",
],
},
},
}