1 /**
2 * @file pvPortMalloc_harness.c
3 * @brief Implements the proof harness for pvPortMalloc function.
4 */
5
6 #include <stdlib.h>
7 #include "FreeRTOS.h"
8 void *
pvPortMalloc
(size_t size);
9
10 void
harness
()
11 {
12 size_t size;
13
pvPortMalloc
(size);
14 }