Show overall coverage in HTML report if multiple suites are present in report

[rohwerj]

If multiple suites are present in the report, the frontend shows the coverage for each suite but not an overall coverage (see attached screenshot).

[rohwerj]

@alex-praschek do you think this can easily be integrated in the frontend?

[alex-praschek]

Would it be enough to just count the distinct covered nodes and flows from each suite and compare it to the total node count of all models? I think that should be possible.

We will get wrong results though if multiple models share the same IDs, e.g. both models have a "ProcessStartEvent". But that happens also with multiple models in the same suite.

[rohwerj]

@alex-praschek For the start I think this would be sufficient. Probably would be better in the future to always include the model key, when calculating the coverage. But we're also not doing that right now, when calculating the coverage for the assertion in junit.