1{
2  "ENTRY": "ulARPRemoveCacheEntryByMac",
3  "NUMBER_OF_CACHE_ENTRIES":6,
4  "CBMCFLAGS":
5  [
6  ],
7  "OBJS":
8  [
9    "$(ENTRY)_harness.goto",
10    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_ARP.goto"
11  ],
12  "INSTFLAGS":
13  [
14  ],
15  "DEF":
16  [
17    "ipconfigUSE_ARP_REMOVE_ENTRY=1",
18    "ipconfigARP_CACHE_ENTRIES={NUMBER_OF_CACHE_ENTRIES}"
19  ],
20  "INC":
21  [
22    "$(FREERTOS_PLUS_TCP)/test/cbmc/include"
23  ]
24}
25