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