1{
2    "ENTRY": "DHCPv6Process_PassReplyToEndPoint",
3    "MAX_CLIENT_SERVER_ID_LENGTH": 128,
4    "MAX_CLIENT_SERVER_ID_LENGTH_UNWIND": "__eval {MAX_CLIENT_SERVER_ID_LENGTH} + 1",
5    "CBMCFLAGS":
6    [
7      "--nondet-static",
8      "--unwind 1",
9      "--unwindset memcmp.0:{MAX_CLIENT_SERVER_ID_LENGTH_UNWIND}",
10      "--unwindset __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint.0:3"
11    ],
12    "OPT":
13    [
14      "--export-file-local-symbols"
15    ],
16    "DEF":
17    [
18      "ipconfigUSE_DHCPv6=1"
19    ],
20    "OBJS":
21    [
22      "$(ENTRY)_harness.goto",
23      "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs/cbmc.goto",
24      "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_DHCPv6.goto"
25    ]
26}