1{
2  "ENTRY": "ProcessICMPPacket",
3  "CBMCFLAGS": [
4  	"--unwind 1",
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_ICMP.goto",
16    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/tasks.goto"
17  ]
18}
19