1{
2  "ENTRY": "ProcessICMPMessage_IPv6",
3  "CBMCFLAGS":
4  [
5    "--unwindset vNDRefreshCacheEntry.0:25",
6    "--nondet-static"
7  ],
8  "OBJS":
9  [
10    "$(ENTRY)_harness.goto",
11    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_ND.goto"
12
13  ],
14  "DEF":
15  [
16    "FREERTOS_TCP_ENABLE_VERIFICATION"
17  ],
18  "INC":
19  [
20    "$(FREERTOS_PLUS_TCP)/test/cbmc/include"
21  ]
22}
23