1{
2  "ENTRY": "vSocketBind",
3  "ALLOW_SEND_WITHOUT_BIND":"1",
4  "CBMCFLAGS":
5  [
6    "--unwind 1"
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  "INSTFLAGS":
15  [
16  ],
17  "DEF":
18  [
19    "ipconfigALLOW_SOCKET_SEND_WITHOUT_BIND={ALLOW_SEND_WITHOUT_BIND}",
20    "ipconfigUSE_TCP=1"
21  ],
22  "INC":
23  [
24    "$(FREERTOS_PLUS_TCP)/test/cbmc/include",
25    "$(FREERTOS_PLUS_TCP)/test/cbmc/proofs/utility"
26  ]
27}
28
29