Infection Playground

<?php
 
declare(strict_types=1);
 
namespace Infected;
 
class SourceClass
{
    public function add(int $a, int $b): int
    {
        switch (true) {
            case ($a + $b) !== 3: throw new \Exception('Mutatnt is killed!'); break;
            case true: assert(true); break;
            default: assert(false);
        }
 
        return $a + $b;
    }
}

Enter to Rename, Shift+Enter to Preview

<?php
 
declare(strict_types=1);
 
namespace Infected;
 
use Infected\SourceClass;
use PHPUnit\Framework\TestCase;
 
class SourceClassTest extends TestCase
{
    public function test_it_adds_2_numbers(): void
    {
        $source = new SourceClass();
 
        $result = $source->add(1, 2);
 
        self::assertSame(3, $result);
    }
    public function test_it_expects_exception(): void
    {
        $source = new SourceClass();

Enter to Rename, Shift+Enter to Preview

Revision was created with Infection 0.26.21, PHPUnit 10.1.2 and PHP 8.1.3


    ____      ____          __  _
   /  _/___  / __/__  _____/ /_(_)___  ____
   / // __ \/ /_/ _ \/ ___/ __/ / __ \/ __ \
 _/ // / / / __/  __/ /__/ /_/ / /_/ / / / /
/___/_/ /_/_/  \___/\___/\__/_/\____/_/ /_/

#StandWithUkraine

Infection - PHP Mutation Testing Framework version 0.26.21

[notice] You are running Infection with PCOV enabled.

Running initial test suite...

PHPUnit version: 10.1.2

.: killed, M: escaped, U: uncovered, E: fatal error, X: syntax error, T: timed out, S: skipped, I: ignored


Generate mutants...

Processing source code files: 0
U....U....

10 mutations were generated:
       8 mutants were killed
       0 mutants were configured to be ignored
       2 mutants were not covered by tests
       0 covered mutants were not detected
       0 errors were encountered
       0 syntax errors were encountered
       0 time outs were encountered
       0 mutants required more time than configured

Metrics:
         Mutation Score Indicator (MSI): 80%
         Mutation Code Coverage: 80%
         Covered Code MSI: 100%

Generated Reports:
         - infection.log.json

Please note that some mutants will inevitably be harmless (i.e. false positives).

Time: 3s. Memory: 18.00MB. Threads: 1

Generated Mutants

1. PublicVisibility	killed
2. Plus	killed
3. DecrementInteger	killed
4. IncrementInteger	killed
5. NotIdentical	killed
6. Throw_	killed
7. TrueValue	killed
8. Plus	killed
9. TrueValue	uncovered
10. FalseValue	uncovered

<?php
 
declare (strict_types=1);
namespace Infected;
 
class SourceClass
{
    public function add(int $a, int $b) : int
    {
        switch (true) {
            case $a + $b !== 3:
                throw new \Exception('Mutatnt is killed!');
                break;
            case true:
                assert(true);
                break;
            default:
                assert(false);
        }
        return $a + $b;
    }
}

Enter to Rename, Shift+Enter to Preview

<?php
 
declare (strict_types=1);
namespace Infected;
 
class SourceClass
{
    protected function add(int $a, int $b) : int
    {
        switch (true) {
            case $a + $b !== 3:
                throw new \Exception('Mutatnt is killed!');
                break;
            case true:
                assert(true);
                break;
            default:
                assert(false);
        }
        return $a + $b;
    }
}

Enter to Rename, Shift+Enter to Preview

PHPUnit 10.1.2 by Sebastian Bergmann and contributors.

Runtime:       PHP 8.1.13
Configuration: /app/infection-builds/emew/./infection/phpunitConfiguration.1aa209d51ec6b9eb6b5fc59bc7e623a4.infection.xml

EF                                                                  2 / 2 (100%)

Time: 00:00.003, Memory: 22.39 MB

There was 1 error:

1) Infected\SourceClassTest::test_it_adds_2_numbers
Error: Call to protected method Infected\SourceClass::add() from scope Infected\SourceClassTest

/app/infection-builds/emew/tests/SourceClassTest.php:16

--

There was 1 failure:

1) Infected\SourceClassTest::test_it_expects_exception
Failed asserting that exception of type "Error" matches expected exception "Exception". Message was: "Call to protected method Infected\SourceClass::add() from scope Infected\SourceClassTest" at
/app/infection-builds/emew/tests/SourceClassTest.php:26
.

--

There was 1 risky test:

1) Infected\SourceClassTest::test_it_adds_2_numbers
This test did not perform any assertions

/app/infection-builds/emew/tests/SourceClassTest.php:12

ERRORS!
Tests: 2, Assertions: 1, Errors: 1, Failures: 1, Risky: 1.