psalm-dev.xml

<?xml version="1.0"?>
<psalm
    name="SimpleSAMLphp testsuite"
    useDocblockTypes="true"
    errorLevel="4"
    reportMixedIssues="false"
    hideExternalErrors="true"
    allowStringToStandInForClass="true"
>
    <projectFiles>
        <directory name="tests" />

        <!-- Ignore certain directories -->
        <ignoreFiles>
            <directory name="vendor" />
        </ignoreFiles>
    </projectFiles>

    <issueHandlers>
        <!-- Ignore UnresolvableInclude on CLI-scripts -->
        <UnresolvableInclude>
            <errorLevel type="suppress">
                <file name="tests/bootstrap.php" />
            </errorLevel>
        </UnresolvableInclude>
    </issueHandlers>
</psalm>