psalm.xml

<?xml version="1.0"?>
<psalm
    errorLevel="3"
    resolveFromConfigFile="true"
    findUnusedCode="false"
    findUnusedBaselineEntry="true"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns="https://getpsalm.org/schema/config"
    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
>
    <projectFiles>
        <directory name="src" />
        <directory name="tests" />
        <ignoreFiles>
            <directory name="vendor" />
            <file name="tests/bootstrap.php"/>
        </ignoreFiles>
    </projectFiles>

    <issueHandlers>
        <InaccessibleProperty>
            <!--
                The fuckers tell that DateInterval properties should be "considered as readonly"
                https://www.php.net/manual/en/class.dateinterval.php
                but these are not real properties and cannot be accessed via reflection
                https://bugs.php.net/bug.php?id=79804
                Just suppress for now, bother when / if anything changes
            -->
            <errorLevel type="suppress">
                <file name="src/sad_spirit/pg_wrapper/converters/datetime/IntervalConverter.php" />
                <file name="tests/converters/IntervalTest.php" />
            </errorLevel>
        </InaccessibleProperty>
    </issueHandlers>

    <stubs>
      <file name="tests/config.php.psalm" />
    </stubs>
</psalm>