1{
2    "ENTRY": "DHCPv6ProcessEndPoint",
3    "CBMCFLAGS":
4    [
5      "--nondet-static --flush",
6      "--unwind 1"
7    ],
8    "INSTFLAGS":
9    [
10        "--remove-function-body vIPSetDHCP_RATimerEnableState",
11        "--remove-function-body vDHCP_RATimerReload",
12        "--remove-function-body vIPNetworkUpCalls",
13        "--remove-function-body prvCloseDHCPv6Socket",
14        "--remove-function-body prvSendDHCPMessage"
15    ],
16    "OPT":
17    [
18      "--export-file-local-symbols"
19    ],
20    "DEF":
21    [
22      "ipconfigUSE_DHCPv6=1"
23    ],
24    "OBJS":
25    [
26      "$(ENTRY)_harness.goto",
27      "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs/cbmc.goto",
28      "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_DHCPv6.goto",
29      "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP.goto",
30      "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP_Timers.goto"
31    ]
32}