1{
2  "ENTRY": "OutputARPRequest",
3  "MINIMUM_PACKET_BYTES": 50,
4  "CBMCFLAGS":
5  [
6      "--unwind {MINIMUM_PACKET_BYTES}",
7      "--unwindset xNetworkBuffersInitialise.0:3,xNetworkBuffersInitialise.1:3,vListInsert.0:3,pxGetNetworkBufferWithDescriptor.0:3,pxGetNetworkBufferWithDescriptor.1:3,vNetworkInterfaceAllocateRAMToBuffers.0:3"
8  ],
9  "OBJS":
10  [
11    "$(ENTRY)_harness.goto",
12    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP.goto",
13    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_ARP.goto",
14    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Routing.goto",
15    "$(FREERTOS_PLUS_TCP)/source/portable/BufferManagement/BufferAllocation_1.goto",
16    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/list.goto",
17    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/queue.goto"
18  ],
19  "DEF":
20  [
21    {
22      "minimal_configuration":
23      [
24        "ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS=2",
25        "configUSE_TRACE_FACILITY=0",
26        "configGENERATE_RUN_TIME_STATS=0",
27        "ipconfigUSE_LINKED_RX_MESSAGES=0"
28      ]
29    },
30    {
31      "minimal_configuration_minimal_packet_size":
32      [
33      "ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS=2",
34      "configUSE_TRACE_FACILITY=0",
35      "configGENERATE_RUN_TIME_STATS=0",
36      "ipconfigETHERNET_MINIMUM_PACKET_BYTES={MINIMUM_PACKET_BYTES}"
37      ]
38    },
39    {
40      "minimal_configuration_linked_rx_messages":
41      [
42      "ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS=2",
43      "configUSE_TRACE_FACILITY=0",
44      "configGENERATE_RUN_TIME_STATS=0",
45      "ipconfigUSE_LINKED_RX_MESSAGES=1"
46      ]
47    }
48  ]
49}
50