[...] command, as configured in the `phpunit.xml.dist` file: