1{
2  "ENTRY": "CheckOptions",
3  "CBMCFLAGS":
4  [
5    "--unwind 1",
6    " --unwindset __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvCheckOptions.0:41"
7  ],
8  "OBJS":
9  [
10    "$(ENTRY)_harness.goto",
11    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP.goto",
12    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_TCP_WIN.goto",
13    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_TCP_IP.goto",
14    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Stream_Buffer.goto",
15    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/tasks.goto",
16    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/list.goto"
17  ],
18  "BUFFER_SIZE": 100,
19  "DEF":
20  [
21    "BUFFER_SIZE={BUFFER_SIZE}"
22  ],
23  "OPT":
24  [
25    "--export-file-local-symbols"
26  ]
27}
28