40 lines
765 B
JSON
40 lines
765 B
JSON
{
|
|
"ENTRY": "vSocketClose",
|
|
|
|
"CBMCFLAGS":
|
|
[
|
|
"--unwind 2"
|
|
],
|
|
"OBJS":
|
|
[
|
|
"$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/list.goto",
|
|
"$(FREERTOS_PLUS_TCP)/FreeRTOS_Sockets.goto",
|
|
"$(ENTRY)_harness.goto"
|
|
],
|
|
"DEF":
|
|
[
|
|
{
|
|
"UDP_Only":[
|
|
"PROTOCOL=FREERTOS_IPPROTO_UDP",
|
|
"ipconfigUSE_TCP=1",
|
|
"ipconfigUSE_TCP_WIN=1",
|
|
"ipconfigHAS_DEBUG_PRINTF=0"
|
|
]
|
|
},
|
|
{
|
|
"TCP_Only":[
|
|
"PROTOCOL=FREERTOS_IPPROTO_TCP",
|
|
"ipconfigUSE_TCP=1",
|
|
"ipconfigUSE_TCP_WIN=1",
|
|
"ipconfigHAS_DEBUG_PRINTF=0"
|
|
]
|
|
}
|
|
],
|
|
"INC":
|
|
[
|
|
"$(FREERTOS_PLUS_TCP)/test/cbmc/include",
|
|
"$(FREERTOS_PLUS_TCP)/test/cbmc/proofs/utility",
|
|
"$(FREERTOS_PLUS_TCP)/test/cbmc/stubs"
|
|
]
|
|
}
|