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