1{
2  "ENTRY": "ARPAgeCache",
3  "CBMCFLAGS":
4  [
5      "--unwind 1",
6      "--unwindset vARPAgeCache.0:7",
7      "--unwindset FreeRTOS_OutputARPRequest.0:3",
8      "--unwindset vARPAgeCache.1:3",
9      "--nondet-static"
10  ],
11  "OBJS":
12  [
13    "$(ENTRY)_harness.goto",
14    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP.goto",
15    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Routing.goto",
16    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_ARP.goto",
17    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/tasks.goto"
18  ],
19  "DEF":
20  [
21  ]
22}
23