1{
2    "ENTRY": "prepareReplyDNSMessage",
3    "USE_CACHE":1,
4    "CBMCFLAGS":
5    [
6        "--unwind 1",
7        "--nondet-static"
8    ],
9    "OBJS":
10    [
11      "$(ENTRY)_harness.goto",
12      "$(FREERTOS_PLUS_TCP)/test/cbmc/stubs/cbmc.goto",
13      "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_IP_Utils.goto",
14      "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_DNS_Parser.goto"
15    ],
16    "DEF":
17    [
18      "ipconfigUSE_DNS_CACHE={USE_CACHE}",
19      "ipconfigUSE_NBNS=1"
20    ]
21}
22