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_Routing.goto",
11    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_UDP_IP.goto",
12    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_UDP_IPv4.goto"
13  ],
14  "INSTFLAGS":
15  [
16  ],
17  "DEF":
18  [
19    "ipconfigSUPPORT_OUTGOING_PINGS=1",
20    "ipconfigBYTE_ORDER=pdFREERTOS_BIG_ENDIAN"
21  ],
22  "INC":
23  [
24    "$(FREERTOS_PLUS_TCP)/test/cbmc/include",
25    "$(FREERTOS_PLUS_TCP)/test/cbmc/proofs/utility",
26    "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs"
27  ]
28}
29