1{
2  "ENTRY": "ProcessReceivedUDPPacket",
3  "MAX_RX_PACKETS":1,
4  "USE_LLMNR":1,
5  "USE_NBNS":1,
6  "CBMCFLAGS":
7  [
8    "--unwind 1",
9    "--nondet-static"
10  ],
11  "OBJS":
12  [
13    "$(ENTRY)_harness.goto",
14    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_UDP_IP.goto",
15    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP.goto"
16  ],
17  "DEF":
18  [
19    "ipconfigUDP_MAX_RX_PACKETS={MAX_RX_PACKETS}",
20    "ipconfigUSE_LLMNR={USE_LLMNR}",
21    "ipconfigUSE_NBNS={USE_NBNS}"
22  ]
23}
24