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