1{
2  "ENTRY": "eHandleIPv6ExtensionHeaders",
3  "MAX_EXT_HEADER_NUM": 21,
4  "CBMCFLAGS":
5  [
6    "--unwind 1",
7    "--unwindset usGetExtensionHeaderLength.3:{MAX_EXT_HEADER_NUM}",
8    "--nondet-static"
9  ],
10  "OPT":
11  [
12    "--export-file-local-symbols"
13  ],
14  "OBJS":
15  [
16    "$(ENTRY)_harness.goto",
17    "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs/cbmc.goto",
18    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IPv6.goto",
19    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IPv6_Utils.goto"
20  ],
21  "DEF":
22  [
23    "ipconfigNETWORK_MTU=200",
24    "ipconfigUSE_DHCP=0"
25  ],
26  "INC":
27  [
28    "$(FREERTOS_PLUS_TCP)/test/cbmc/include"
29  ]
30}
31
32
33