Fatal error: Class 'SebastianBergmann\CodeCoverage\RuntimeException' not found in /home/fernando/tds.fernandoaraujo.eu/vendor/phpunit/php-code-coverage/src/Exception/CoveredCodeNotExecutedException.php on line 17