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