(TEPHRA-10) Added generation of coverage report under the -P coverage profile.