Coverage: 0.31 (reached 35 of 114 reachable lines)
| Coverage | Function | File |
|---|---|---|
| 0.81 (29/36) | vPortDefineHeapRegions | portable/MemMang/heap_5.c |
| 0.43 (6/14) | harness | cbmc/proofs/pvPortMalloc/pvPortMalloc_harness.c |
| 0.00 (0/17) | prvInsertBlockIntoFreeList | portable/MemMang/heap_5.c |
| 0.00 (0/33) | pvPortMalloc | portable/MemMang/heap_5.c |
| 0.00 (0/14) | vPortFree | portable/MemMang/heap_5.c |