Add option to ignore @covers annotation #986

Open

vodevel wants to merge 1 commit intosebastianbergmann:mainfrom vodevel:ignore-covers-annotation

+116

Commits on Mar 4, 2023

Added option to ignore @Covers annotation
vodevel
committed