xref: /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/Makefile.json (revision a4124602cc584fa0658448c229f48a459a84fbb1) 
1{
2  "ENTRY": "vSocketWakeUpUser",
3
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  "DEF":
15  [
16    "ipconfigSOCKET_HAS_USER_SEMAPHORE=1",
17    "ipconfigSOCKET_HAS_USER_WAKE_CALLBACK=1",
18    "ipconfigSUPPORT_SELECT_FUNCTION=1",
19    "configUSE_16_BIT_TICKS=0"
20  ],
21  "INC":
22  [
23    "$(FREERTOS_PLUS_TCP)/test/cbmc/include",
24    "$(FREERTOS_PLUS_TCP)/test/cbmc/proofs/utility"
25  ]
26}
27