1{
2  "ENTRY": "xRecv_Update_IPv6",
3  "CBMCFLAGS":
4  [
5    "--unwind 1"
6  ],
7  "OPT":
8  [
9  ],
10  "OBJS":
11  [
12    "$(ENTRY)_harness.goto",
13    "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs/cbmc.goto",
14    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IPv6_Sockets.goto"
15  ],
16  "DEF":
17  [
18  ]
19}
20