1{
2  "ENTRY": "pxUDPPayloadBuffer_to_NetworkBuffer",
3  "CBMCFLAGS":
4  [
5    "--unwind 1",
6    "--nondet-static"
7  ],
8  "INSTFLAGS":
9  [
10  ],
11  "OBJS":
12  [
13    "$(ENTRY)_harness.goto",
14    "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs/cbmc.goto",
15    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP_Utils.goto"
16  ],
17  "DEF":
18  [
19    "FREERTOS_TCP_ENABLE_VERIFICATION",
20    "ipconfigBUFFER_PADDING=14"
21  ],
22  "OPT":
23  [
24    "--export-file-local-symbols"
25  ],
26  "INC":
27  [
28    "$(FREERTOS_PLUS_TCP)/test/cbmc/include"
29  ]
30}
31