1{
2  "ENTRY": "vProcessGeneratedUDPPacket_IPv6",
3  "CBMCFLAGS":
4  [
5    "--unwind 1",
6    "--unwindset FreeRTOS_InterfaceEndPointOnNetMask.0:3",
7    "--nondet-static"
8  ],
9  "OBJS":
10  [
11    "$(ENTRY)_harness.goto",
12    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP.goto",
13    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Routing.goto",
14    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_ND.goto",
15    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_UDP_IPv6.goto"
16  ],
17  "INSTFLAGS":
18  [
19  ],
20  "DEF":
21  [
22    "ipconfigSUPPORT_OUTGOING_PINGS=1",
23    "ipconfigBYTE_ORDER=pdFREERTOS_BIG_ENDIAN"
24  ],
25  "INC":
26  [
27    "$(FREERTOS_PLUS_TCP)/test/cbmc/include",
28    "$(FREERTOS_PLUS_TCP)/test/cbmc/proofs/utility",
29    "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs"
30  ]
31}
32