Coverage: 0.32 (reached 17 of 53 reachable lines)
| Coverage | Function | File |
|---|---|---|
| 1.00 (3/3) | harness | cbmc/proofs/pvPortMalloc/pvPortMalloc_harness.c |
| 0.42 (14/33) | pvPortMalloc | portable/MemMang/heap_5.c |
| 0.00 (0/17) | prvInsertBlockIntoFreeList | portable/MemMang/heap_5.c |
Functions omitted from test (unexpected):