Add a "coverage" target to the Makefile that generates a coverage report.

[albu-diku]

No description provided.

[jonasbardino]

Looks good so far. You marked it draft so I'm not sure if you intend to expand it, but I think we can merge already if it runs.

[albu-diku]

@jonasbardino it does :)

I marked it draft mostly as a hedge against the naming of the targets - I’m not sure I’m completely happy.

Perhaps for a first pass it’s better just to have only coverage and it generate the report - if split up happens later it would be elaboration for a specific reason.

What do you think?

[jonasbardino]

@jonasbardino it does :)

I marked it draft mostly as a hedge against the naming of the targets - I’m not sure I’m completely happy.

Perhaps for a first pass it’s better just to have only coverage and it generate the report - if split up happens later it would be elaboration for a specific reason.

What do you think?

I'm not so worried about additional make targets but perhaps the most used should indeed just be called coverage. I haven't tried the html report format and would perhaps expect that to be a special case compared to default plain text; could be a different target or variable with default.