| Line | Branch | Condition | Exec | Source |
|---|---|---|---|---|
| 1 | bool no(bool); | |||
| 2 | int yes(int); | |||
| 3 | ||||
| 4 | 1 | int main(int argc, char *argv[]) | ||
| 5 | { | |||
| 6 |
1/2✗ Branch 0 (3→4) not taken.
✓ Branch 1 (3→6) taken 1 times.
|
1/2✗ True not covered.
|
1 | if (no(true)) { |
| 7 | ✗ | return yes(7); | ||
| 8 | } | |||
| 9 | else { | |||
| 10 | 1 | return yes(10); | ||
| 11 | } | |||
| 12 | } | |||
| 13 |