| Line | Branch | Condition | Exec | Source |
|---|---|---|---|---|
| 1 | #include <iostream> | |||
| 2 | #include <stdlib.h> | |||
| 3 | ||||
| 4 | __attribute__((__noreturn__)) | |||
| 5 | ✗ | static void panic(void) | ||
| 6 | { | |||
| 7 | ✗ | abort(); | ||
| 8 | } | |||
| 9 | ||||
| 10 | 1 | int foo(int param) | ||
| 11 | { | |||
| 12 |
1/2✓ Branch 0 (2→3) taken 1 times.
✗ Branch 1 (2→4) not taken.
|
1/2✗ False not covered.
|
1 | if (param > 1) { |
| 13 | 1 | return 3; | ||
| 14 | } | |||
| 15 | ||||
| 16 | − | panic(); | ||
| 17 | } | |||
| 18 | ||||
| 19 | ||||
| 20 | 1 | int main(int argc, char* argv[]) { | ||
| 21 | 1 | foo(2); | ||
| 22 | ||||
| 23 | 1 | return 0; | ||
| 24 | } | |||
| 25 |