Example project that uses php-real-coverage