Merge Coverage Report

Hi support team,

I have made a few attempts with coverage and am amazed at the result (SQ 7.9). I have two coverage reports where the coverage is complementary and should lead to 100%. But unfortunately this does not work:

Coverage report 1: true-cases

Covered | Conditions
---------------------------------------------
1       |         int src1_f1(bool value)
        |         {
1       | 1/2         if (value) {
1       |                return 1;
        |             }
        |             else {
0       |               return 0;
        |            }
        |         }
        |
1       |         int src1_f2(bool value)
        |         {
1       | 1/2         if (value) {
1       |                return 1;
        |             }
        |             else {
0       |                return 0;
        |             }
        |         }

Coverage report 2: false-cases

Covered | Conditions
---------------------------------------------
1       |         int src1_f1(bool value)
        |         {
1       | 1/2         if (value) {
0       |                return 1;
        |             }
        |             else {
1       |               return 0;
        |            }
        |         }
        |
1       |         int src1_f2(bool value)
        |         {
1       | 1/2         if (value) {
0       |                return 1;
        |             }
        |             else {
1       |                return 0;
        |             }
        |         }

Merged result:

  • line_coverage=100.0
  • coverage=83.3 (expected 100.0)
  • branch_coverage=50.0 (expected 100.0)

Regards,
Günter