failed to generate coverage profile: no coverage collected so far