directory /vendor/phpunit/php-code-coverage/src/Exception/ @ 19:fa3358dc1485 tip

name size permissions
[up] drwxr-xr-x
file CoveredCodeNotExecutedException.php 432 -rw-r--r--
file Exception.php 382 -rw-r--r--
file InvalidArgumentException.php 1002 -rw-r--r--
file MissingCoversAnnotationException.php 436 -rw-r--r--
file RuntimeException.php 368 -rw-r--r--
file UnintentionallyCoveredCodeException.php 1196 -rw-r--r--