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