F: BranchAndPathCoverageNotSupportedException.php
F: DeadCodeDetectionNotSupportedException.php
F: DirectoryCouldNotBeCreatedException.php
F: FileCouldNotBeWrittenException.php
F: InvalidArgumentException.php
F: NoCodeCoverageDriverAvailableException.php
F: NoCodeCoverageDriverWithPathCoverageSupportAvailableException.php
F: PathExistsButIsNotDirectoryException.php
F: PcovNotAvailableException.php
F: ReflectionException.php
F: ReportAlreadyFinalizedException.php
F: StaticAnalysisCacheNotConfiguredException.php
F: TestIdMissingException.php
F: UnintentionallyCoveredCodeException.php
F: WriteOperationFailedException.php
F: XdebugNotAvailableException.php
F: XdebugNotEnabledException.php