In Makefile, shorten coverage to cover