1{
2  "ENTRY": "ARPGetCacheEntry",
3  "CBMCFLAGS":
4  [
5      "--unwind 1",
6      "--unwindset prvCacheLookup.0:7",
7      "--unwindset FreeRTOS_FindEndPointOnIP_IPv4.0:3",
8      "--unwindset FreeRTOS_InterfaceEndPointOnNetMask.0:3",
9      "--unwindset eARPGetCacheEntry.0:3",
10      "--unwindset FreeRTOS_FindGateWay.0:3",
11      "--nondet-static"
12  ],
13  "OBJS":
14  [
15    "$(ENTRY)_harness.goto",
16    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Routing.goto",
17    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_ARP.goto"
18  ],
19  "DEF":
20  [
21    {
22      "ARPGetCacheEntry_default":[
23        "ipconfigARP_STORES_REMOTE_ADDRESSES=0",
24        "ipconfigUSE_LLMNR=0"
25      ]
26    },
27    {
28      "ARPGetCacheEntry_LLMNR": [
29        "ipconfigARP_STORES_REMOTE_ADDRESSES=0",
30        "ipconfigUSE_LLMNR=1"
31      ]
32    },
33    {
34      "ARPGetCacheEntry_STORE_REMOTE": [
35        "ipconfigARP_STORES_REMOTE_ADDRESSES=1",
36        "ipconfigUSE_LLMNR=0"
37      ]
38    },
39    {
40      "ARPGetCacheEntry_REMOTE_LLMNR": [
41        "ipconfigARP_STORES_REMOTE_ADDRESSES=1",
42        "ipconfigUSE_LLMNR=1"
43      ]
44    }
45  ]
46}
47