1{
2  "ENTRY": "ProcessICMPEchoRequest",
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_IP.goto",
16    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_ICMP.goto",
17    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/tasks.goto"
18  ]
19}
20