1{
2  "ENTRY": "vSocketClose",
3
4  "CBMCFLAGS":
5  [
6    "--unwind 2"
7  ],
8  "OBJS":
9  [
10    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/list.goto",
11    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Sockets.goto",
12    "$(ENTRY)_harness.goto"
13  ],
14  "DEF":
15  [
16    {
17      "UDP_Only":[
18        "PROTOCOL=FREERTOS_IPPROTO_UDP",
19        "ipconfigUSE_TCP=1",
20        "ipconfigUSE_TCP_WIN=1",
21        "ipconfigHAS_DEBUG_PRINTF=0"
22      ]
23    },
24    {
25      "TCP_Only":[
26        "PROTOCOL=FREERTOS_IPPROTO_TCP",
27        "ipconfigUSE_TCP=1",
28        "ipconfigUSE_TCP_WIN=1",
29        "ipconfigHAS_DEBUG_PRINTF=0"
30      ]
31    }
32  ],
33  "INC":
34  [
35    "$(FREERTOS_PLUS_TCP)/test/cbmc/include",
36    "$(FREERTOS_PLUS_TCP)/test/cbmc/proofs/utility",
37    "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs"
38  ]
39}
40