1{
2  "ENTRY": "DNSclear",
3  ################################################################
4  # This configuration flag uses DNS cache
5  "USE_CACHE":1,
6  "CBMCFLAGS":
7  [
8  	"--unwind 1",
9	"--nondet-static"
10  ],
11  "OBJS":
12  [
13    "$(ENTRY)_harness.goto",
14    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_DNS_Cache.goto"
15  ],
16  "DEF":
17  [
18    "ipconfigUSE_DNS_CACHE={USE_CACHE}"
19  ]
20}
21