1{
2  "ENTRY": "ARPRefreshCacheEntry",
3  "CBMCFLAGS":
4  [
5      "--unwind 1",
6      "--unwindset FreeRTOS_InterfaceEndPointOnNetMask.0:3",
7      "--unwindset prvFindCacheEntry.0:7,memcmp.0:17"
8  ],
9  "OBJS":
10  [
11    "$(ENTRY)_harness.goto",
12    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_ARP.goto",
13    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Routing.goto"
14  ],
15  "DEF":
16  [
17    {"NOT_STORE_REMOTE":["ipconfigARP_STORES_REMOTE_ADDRESSES=0"]},
18    {"STORE_REMOTE":["ipconfigARP_STORES_REMOTE_ADDRESSES=1"]}
19  ]
20}
21