Currently coverage is shown only for verification launches, which may correspond to different entrypoints and different properties.
In order to present the information about the whole coverage, some additional view is required, which will contain coverage for the whole checked subsystem (module, etc.) along with all entrypoints and checked properties (for example, line X was covered by properties p1, p2, p3, but was not covered by p4 and p5.)
Currently coverage is shown only for verification launches, which may correspond to different entrypoints and different properties. In order to present the information about the whole coverage, some additional view is required, which will contain coverage for the whole checked subsystem (module, etc.) along with all entrypoints and checked properties (for example, line X was covered by properties p1, p2, p3, but was not covered by p4 and p5.)