Update (#68) #3
infection.yml
on: push
5️⃣ Mutation Testing
1m 11s
Annotations
11 warnings
5️⃣ Mutation Testing
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
5️⃣ Mutation Testing:
src/Tag/BigFloatTag.php#L36
Escaped Mutant for Mutator "LogicalNot":
--- Original
+++ New
@@ @@
throw new InvalidArgumentException('The exponent must be a Signed Integer or an Unsigned Integer object.');
}
$m = $object->get(1);
- if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !$m instanceof UnsignedBigIntegerTag) {
+ if (!$m instanceof UnsignedIntegerObject && $m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !$m instanceof UnsignedBigIntegerTag) {
throw new InvalidArgumentException('The mantissa must be a Positive or Negative Signed Integer or an Unsigned Integer object.');
}
parent::__construct($additionalInformation, $data, $object);
|
5️⃣ Mutation Testing:
src/Tag/BigFloatTag.php#L36
Escaped Mutant for Mutator "InstanceOf_":
--- Original
+++ New
@@ @@
throw new InvalidArgumentException('The exponent must be a Signed Integer or an Unsigned Integer object.');
}
$m = $object->get(1);
- if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !$m instanceof UnsignedBigIntegerTag) {
+ if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !true && !$m instanceof UnsignedBigIntegerTag) {
throw new InvalidArgumentException('The mantissa must be a Positive or Negative Signed Integer or an Unsigned Integer object.');
}
parent::__construct($additionalInformation, $data, $object);
|
5️⃣ Mutation Testing:
src/Tag/BigFloatTag.php#L36
Escaped Mutant for Mutator "InstanceOf_":
--- Original
+++ New
@@ @@
throw new InvalidArgumentException('The exponent must be a Signed Integer or an Unsigned Integer object.');
}
$m = $object->get(1);
- if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !$m instanceof UnsignedBigIntegerTag) {
+ if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !false && !$m instanceof UnsignedBigIntegerTag) {
throw new InvalidArgumentException('The mantissa must be a Positive or Negative Signed Integer or an Unsigned Integer object.');
}
parent::__construct($additionalInformation, $data, $object);
|
5️⃣ Mutation Testing:
src/Tag/BigFloatTag.php#L36
Escaped Mutant for Mutator "LogicalNot":
--- Original
+++ New
@@ @@
throw new InvalidArgumentException('The exponent must be a Signed Integer or an Unsigned Integer object.');
}
$m = $object->get(1);
- if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !$m instanceof UnsignedBigIntegerTag) {
+ if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && $m instanceof NegativeBigIntegerTag && !$m instanceof UnsignedBigIntegerTag) {
throw new InvalidArgumentException('The mantissa must be a Positive or Negative Signed Integer or an Unsigned Integer object.');
}
parent::__construct($additionalInformation, $data, $object);
|
5️⃣ Mutation Testing:
src/Tag/BigFloatTag.php#L36
Escaped Mutant for Mutator "InstanceOf_":
--- Original
+++ New
@@ @@
throw new InvalidArgumentException('The exponent must be a Signed Integer or an Unsigned Integer object.');
}
$m = $object->get(1);
- if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !$m instanceof UnsignedBigIntegerTag) {
+ if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !true) {
throw new InvalidArgumentException('The mantissa must be a Positive or Negative Signed Integer or an Unsigned Integer object.');
}
parent::__construct($additionalInformation, $data, $object);
|
5️⃣ Mutation Testing:
src/Tag/BigFloatTag.php#L36
Escaped Mutant for Mutator "InstanceOf_":
--- Original
+++ New
@@ @@
throw new InvalidArgumentException('The exponent must be a Signed Integer or an Unsigned Integer object.');
}
$m = $object->get(1);
- if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !$m instanceof UnsignedBigIntegerTag) {
+ if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !false) {
throw new InvalidArgumentException('The mantissa must be a Positive or Negative Signed Integer or an Unsigned Integer object.');
}
parent::__construct($additionalInformation, $data, $object);
|
5️⃣ Mutation Testing:
src/Tag/BigFloatTag.php#L36
Escaped Mutant for Mutator "LogicalNot":
--- Original
+++ New
@@ @@
throw new InvalidArgumentException('The exponent must be a Signed Integer or an Unsigned Integer object.');
}
$m = $object->get(1);
- if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !$m instanceof UnsignedBigIntegerTag) {
+ if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && $m instanceof UnsignedBigIntegerTag) {
throw new InvalidArgumentException('The mantissa must be a Positive or Negative Signed Integer or an Unsigned Integer object.');
}
parent::__construct($additionalInformation, $data, $object);
|
5️⃣ Mutation Testing:
src/Tag/BigFloatTag.php#L36
Escaped Mutant for Mutator "LogicalAndAllSubExprNegation":
--- Original
+++ New
@@ @@
throw new InvalidArgumentException('The exponent must be a Signed Integer or an Unsigned Integer object.');
}
$m = $object->get(1);
- if (!$m instanceof UnsignedIntegerObject && !$m instanceof NegativeIntegerObject && !$m instanceof NegativeBigIntegerTag && !$m instanceof UnsignedBigIntegerTag) {
+ if ($m instanceof UnsignedIntegerObject && $m instanceof NegativeIntegerObject && $m instanceof NegativeBigIntegerTag && $m instanceof UnsignedBigIntegerTag) {
throw new InvalidArgumentException('The mantissa must be a Positive or Negative Signed Integer or an Unsigned Integer object.');
}
parent::__construct($additionalInformation, $data, $object);
|
5️⃣ Mutation Testing:
src/Tag/BigFloatTag.php#L77
Escaped Mutant for Mutator "IncrementInteger":
--- Original
+++ New
@@ @@
/** @var ListObject $object */
$object = $this->object;
/** @var UnsignedIntegerObject|NegativeIntegerObject $e */
- $e = $object->get(0);
+ $e = $object->get(1);
/** @var UnsignedIntegerObject|NegativeIntegerObject|NegativeBigIntegerTag|UnsignedBigIntegerTag $m */
$m = $object->get(1);
return rtrim(bcmul($m->normalize(), bcpow('2', $e->normalize(), 100), 100), '0');
}
}
|
5️⃣ Mutation Testing:
src/Tag/BigFloatTag.php#L79
Escaped Mutant for Mutator "DecrementInteger":
--- Original
+++ New
@@ @@
/** @var UnsignedIntegerObject|NegativeIntegerObject $e */
$e = $object->get(0);
/** @var UnsignedIntegerObject|NegativeIntegerObject|NegativeBigIntegerTag|UnsignedBigIntegerTag $m */
- $m = $object->get(1);
+ $m = $object->get(0);
return rtrim(bcmul($m->normalize(), bcpow('2', $e->normalize(), 100), 100), '0');
}
}
|