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