1{
2  "ENTRY": "vProcessGeneratedUDPPacket",
3  "CBMCFLAGS":
4  [
5  ],
6  "OBJS":
7  [
8    "$(ENTRY)_harness.goto",
9    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP.goto",
10    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_UDP_IP.goto"
11  ],
12  "INSTFLAGS":
13  [
14  ],
15  "DEF":
16  [
17    "ipconfigSUPPORT_OUTGOING_PINGS=1",
18    "ipconfigBYTE_ORDER=pdFREERTOS_BIG_ENDIAN"
19  ],
20  "INC":
21  [
22    "$(FREERTOS_PLUS_TCP)/test/cbmc/include",
23    "$(FREERTOS_PLUS_TCP)/test/cbmc/proofs/utility",
24    "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs"
25  ]
26}
27