1{
2  "ENTRY": "HandleEthernetPacket",
3  "CBMCFLAGS": [
4  	"--unwind 3",
5  	"--nondet-static"
6  ],
7  "OPT":
8  [
9      "--export-file-local-symbols"
10  ],
11  "OBJS":
12  [
13    "$(ENTRY)_harness.goto",
14    "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs/cbmc.goto",
15    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP.goto"
16  ],
17  "DEF":
18  [
19    "ipconfigUSE_LINKED_RX_MESSAGES=1"
20  ]
21}
22