1{
2  "ENTRY": "CheckOptionsInner",
3  "CBMCFLAGS": [
4      "--unwind 1",
5      "--unwindset prvTCPWindowTxCheckAck.1:2,prvTCPWindowFastRetransmit.2:2"
6  ],
7  "OBJS":
8  [
9    "$(ENTRY)_harness.goto",
10    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_TCP_IP.goto",
11    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_TCP_WIN.goto",
12    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Stream_Buffer.goto",
13    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/tasks.goto",
14    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/list.goto"
15  ],
16  "DEF":
17  [
18  ]
19}
20