tree 0c41cef27a59417ff2af84c98f87438a2a1f3825
parent 93f96076be483a2a7a5b2918349163ac942360ac
author Marc Kupietz <kupietz@ids-mannheim.de> 1605171944 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1605171944 +0100

Generate code coverage report with Cobertura

Change-Id: I5824d4708e61cb4386a69e33b97be4f507444b46