-
Notifications
You must be signed in to change notification settings - Fork 227
Open
Description
Is your feature request related to a problem? Please describe.
Branch/line below uncovered since it would require an alternate configuration:
284 : 11 : Alignment = ALIGN_OF(CFE_ES_PoolAlign_t); /* memory mapped pools should be aligned */
285 [ - + ]: 11 : if (Alignment < CFE_PLATFORM_ES_MEMPOOL_ALIGN_SIZE_MIN)
286 : : {
287 : : /*
288 : : * Note about path coverage testing - depending on the
289 : : * system architecture and configuration this line may be
290 : : * unreachable. This is OK.
291 : : */
292 : 0 : Alignment = CFE_PLATFORM_ES_MEMPOOL_ALIGN_SIZE_MIN;
293 : : }
here:
cFE/modules/es/fsw/src/cfe_es_mempool.c
Lines 284 to 293 in e5d4ed9
| Alignment = ALIGN_OF(CFE_ES_PoolAlign_t); /* memory mapped pools should be aligned */ | |
| if (Alignment < CFE_PLATFORM_ES_MEMPOOL_ALIGN_SIZE_MIN) | |
| { | |
| /* | |
| * Note about path coverage testing - depending on the | |
| * system architecture and configuration this line may be | |
| * unreachable. This is OK. | |
| */ | |
| Alignment = CFE_PLATFORM_ES_MEMPOOL_ALIGN_SIZE_MIN; | |
| } |
Describe the solution you'd like
Test with alternate configurations
Describe alternatives you've considered
None
Additional context
Jacob Hageman - NASA/GSFC
Requester Info
Full name and company/organization if applicable