/home/runner/work/simplesamlphp-module-cas/simplesamlphp-module-cas/psalm-dev.xml:0:0: UnusedIssueHandlerSuppression: Suppressed issue type "UnresolvableInclude" for /tests/bootstrap.php was not thrown. (see https://psalm.dev/326)

tests/src/Controller/CASTest.php:195:21: MissingOverrideAttribute: Method SimpleSAML\Test\Module\cas\Controller\_home_runner_work_simplesamlphp_module_cas_simplesamlphp_module_cas_tests_src_Controller_CASTest_php_190_5080::finalstep should have the "Override" attribute (see https://psalm.dev/358)

tests/src/Controller/CASTest.php:188:13: MissingOverrideAttribute: Method SimpleSAML\Test\Module\cas\Controller\_home_runner_work_simplesamlphp_module_cas_simplesamlphp_module_cas_tests_src_Controller_CASTest_php_177_4703::getbyid should have the "Override" attribute (see https://psalm.dev/358)

tests/src/Controller/CASTest.php:183:13: MissingOverrideAttribute: Method SimpleSAML\Test\Module\cas\Controller\_home_runner_work_simplesamlphp_module_cas_simplesamlphp_module_cas_tests_src_Controller_CASTest_php_177_4703::authenticate should have the "Override" attribute (see https://psalm.dev/358)

tests/src/Controller/CASTest.php:172:13: MissingOverrideAttribute: Method SimpleSAML\Test\Module\cas\Controller\_home_runner_work_simplesamlphp_module_cas_simplesamlphp_module_cas_tests_src_Controller_CASTest_php_171_4442::loadstate should have the "Override" attribute (see https://psalm.dev/358)

tests/src/Controller/CASTest.php:152:9: UnusedVariable: $result is never referenced or the value is not used (see https://psalm.dev/077)

tests/src/Controller/CASTest.php:144:13: MissingOverrideAttribute: Method SimpleSAML\Test\Module\cas\Controller\_home_runner_work_simplesamlphp_module_cas_simplesamlphp_module_cas_tests_src_Controller_CASTest_php_143_3578::loadstate should have the "Override" attribute (see https://psalm.dev/358)

tests/src/Controller/CASTest.php:115:13: MissingOverrideAttribute: Method SimpleSAML\Test\Module\cas\Controller\_home_runner_work_simplesamlphp_module_cas_simplesamlphp_module_cas_tests_src_Controller_CASTest_php_114_2762::loadstate should have the "Override" attribute (see https://psalm.dev/358)

tests/src/Controller/CASTest.php:34:5: MissingOverrideAttribute: Method SimpleSAML\Test\Module\cas\Controller\CASTest::setup should have the "Override" attribute (see https://psalm.dev/358)

tests/src/Controller/CASTest.php:22:7: UnusedClass: Class SimpleSAML\Test\Module\cas\Controller\CASTest is never used (see https://psalm.dev/075)

src/Auth/Source/CAS.php:274:5: MissingOverrideAttribute: Method SimpleSAML\Module\cas\Auth\Source\CAS::logout should have the "Override" attribute (see https://psalm.dev/358)

src/Auth/Source/CAS.php:247:5: MissingOverrideAttribute: Method SimpleSAML\Module\cas\Auth\Source\CAS::authenticate should have the "Override" attribute (see https://psalm.dev/358)

src/Auth/Source/CAS.php:171:38: UndefinedMethod: Method DOMXPath::xpQuery does not exist (see https://psalm.dev/022)

src/Auth/Source/CAS.php:165:22: TooFewArguments: Too few arguments for SimpleSAML\CAS\Utils\XPath::getXPath - expecting node to be passed (see https://psalm.dev/025)

src/Auth/Source/CAS.php:161:17: PossiblyInvalidArgument: Argument 3 of sprintf expects float|int|object{__tostring()}|string, but possibly different type SimpleSAML\CAS\Error|string provided (see https://psalm.dev/092)

src/Auth/Source/CAS.php:125:21: PossiblyInvalidArrayAccess: Cannot access array value on non-array variable $res of type false (see https://psalm.dev/109)

src/Auth/Source/CAS.php:124:20: PossiblyInvalidArrayAccess: Cannot access array value on non-array variable $res of type false (see https://psalm.dev/109)

src/Auth/Source/CAS.php:43:18: MissingClassConstType: Class constant "SimpleSAML\Module\cas\Auth\Source\CAS::AUTHID" should have a declared type. (see https://psalm.dev/359)

src/Auth/Source/CAS.php:38:18: MissingClassConstType: Class constant "SimpleSAML\Module\cas\Auth\Source\CAS::STAGE_INIT" should have a declared type. (see https://psalm.dev/359)

src/Auth/Source/CAS.php:33:7: ClassMustBeFinal: Class SimpleSAML\Module\cas\Auth\Source\CAS is never extended and is not part of the public API, and thus must be made final. (see https://psalm.dev/361)

tests/src/Controller/CASTest.php:28:27: PropertyNotSetInConstructor: Property SimpleSAML\Test\Module\cas\Controller\CASTest::$sourceConfig is not defined in constructor of SimpleSAML\Test\Module\cas\Controller\CASTest or in any private or final methods called in the constructor (see https://psalm.dev/074)

tests/src/Controller/CASTest.php:25:29: PropertyNotSetInConstructor: Property SimpleSAML\Test\Module\cas\Controller\CASTest::$config is not defined in constructor of SimpleSAML\Test\Module\cas\Controller\CASTest or in any private or final methods called in the constructor (see https://psalm.dev/074)

tests/src/Controller/CASTest.php:22:7: ClassMustBeFinal: Class SimpleSAML\Test\Module\cas\Controller\CASTest is never extended and is not part of the public API, and thus must be made final. (see https://psalm.dev/361)

src/Controller/CAS.php:23:7: UnusedClass: Class SimpleSAML\Module\cas\Controller\CAS is never used (see https://psalm.dev/075)