1{
2  "ENTRY": "xRecv_Update_IPv4",
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_IPv4_Sockets.goto"
15  ]
16}
17