| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | #include "gate/tests.h" | ||
| 2 | #include "test_os.h" | ||
| 3 | #include "gate/system/os.h" | ||
| 4 | #include "gate/streams.h" | ||
| 5 | |||
| 6 | 1 | GATE_TEST_FUNCTION(test_os) | |
| 7 | { | ||
| 8 | gate_result_t result; | ||
| 9 | 1 | gate_uint32_t platform_id = 0; | |
| 10 | 1 | char const* str = NULL; | |
| 11 | |||
| 12 | 1 | GATE_TEST_UNIT_BEGIN(test_os); | |
| 13 | |||
| 14 | 1 | result = gate_os_get_platform(&platform_id); | |
| 15 |
1/2✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
|
1 | GATE_TEST_CHECK_OK(result); |
| 16 | |||
| 17 | 1 | str = gate_os_get_platform_label(platform_id); | |
| 18 |
1/2✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
|
1 | GATE_TEST_CHECK_NOT_EQUAL(str, NULL); |
| 19 | |||
| 20 | 1 | GATE_TEST_UNIT_END; | |
| 21 | } | ||
| 22 |