1{
2  "ENTRY": "ARPGetCacheEntryByMac",
3  "CBMCFLAGS":
4  [
5      "--unwind 7"
6  ],
7  "OBJS":
8  [
9    "$(ENTRY)_harness.goto",
10    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_ARP.goto"
11  ],
12  "DEF":
13  [
14    "ipconfigUSE_ARP_REVERSED_LOOKUP=1", "ipconfigARP_CACHE_ENTRIES=6"
15  ]
16}
17