27 lines
529 B
JSON
27 lines
529 B
JSON
{
|
|
"ENTRY": "vSocketWakeUpUser",
|
|
|
|
"CBMCFLAGS":
|
|
[
|
|
"--unwind 1"
|
|
],
|
|
"OBJS":
|
|
[
|
|
"$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/list.goto",
|
|
"$(FREERTOS_PLUS_TCP)/FreeRTOS_Sockets.goto",
|
|
"$(ENTRY)_harness.goto"
|
|
],
|
|
"DEF":
|
|
[
|
|
"ipconfigSOCKET_HAS_USER_SEMAPHORE=1",
|
|
"ipconfigSOCKET_HAS_USER_WAKE_CAlLBACK=1",
|
|
"ipconfigSUPPORT_SELECT_FUNCTION=1",
|
|
"configUSE_16_BIT_TICKS=0"
|
|
],
|
|
"INC":
|
|
[
|
|
"$(FREERTOS_PLUS_TCP)/test/cbmc/include",
|
|
"$(FREERTOS_PLUS_TCP)/test/cbmc/proofs/utility"
|
|
]
|
|
}
|