1{
2  "ENTRY": "ProcessReceivedUDPPacket_IPv6",
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)/test/cbmc/stubs/cbmc.goto",
15    "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs/freertos_kernel_api.goto",
16    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_UDP_IPv6.goto"
17  ],
18  "DEF":
19  [
20    "ipconfigUDP_MAX_RX_PACKETS={MAX_RX_PACKETS}",
21    "ipconfigUSE_LLMNR={USE_LLMNR}",
22    "ipconfigUSE_NBNS={USE_NBNS}"
23  ]
24}
25