xref: /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/Makefile.json (revision 2d3f4daa567ffe71aeda2e0f6d0bc02850db0627) 
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)/test/cbmc/stubs/freertos_kernel_api.goto",
15    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_UDP_IP.goto",
16    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_UDP_IPv4.goto",
17    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP.goto"
18  ],
19  "DEF":
20  [
21    "ipconfigUDP_MAX_RX_PACKETS={MAX_RX_PACKETS}",
22    "ipconfigUSE_LLMNR={USE_LLMNR}",
23    "ipconfigUSE_NBNS={USE_NBNS}"
24  ]
25}
26