1{
2  "ENTRY": "vTCPWindowDestroy",
3  "CBMCFLAGS":
4  [
5      "--unwind 5",
6      "--nondet-static"
7  ],
8  "OBJS":
9  [
10    "$(ENTRY)_harness.goto",
11    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_TCP_WIN.goto",
12    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/list.goto"
13  ],
14  "OPT":
15  [
16    "--export-file-local-symbols"
17  ],
18  "DEF":
19  [
20   "ipconfigUSE_TCP_WIN=1"
21  ]
22}
23