1{
2  "ENTRY": "ARPProcessPacket",
3  "CBMCFLAGS":
4  [
5      "--unwind 1",
6      "--unwindset vARPRefreshCacheEntry.0:7,memcmp.0:17,xIsIPInARPCache.0:7",
7      "--nondet-static"
8  ],
9  "OBJS":
10  [
11    "$(ENTRY)_harness.goto",
12    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_ARP.goto",
13    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP.goto"
14  ]
15}
16