OSDN Git Service

* coverage.c (get_coverage_counts): Give a different message