modify phpunit.xml to get good coverage analysis