21 lines
364 B
JSON
21 lines
364 B
JSON
{
|
|
"ENTRY": "DNSclear",
|
|
################################################################
|
|
# This configuration flag uses DNS cache
|
|
"USE_CACHE":1,
|
|
"CBMCFLAGS":
|
|
[
|
|
"--unwind 1",
|
|
"--nondet-static"
|
|
],
|
|
"OBJS":
|
|
[
|
|
"$(ENTRY)_harness.goto",
|
|
"$(FREERTOS_PLUS_TCP)/FreeRTOS_DNS.goto"
|
|
],
|
|
"DEF":
|
|
[
|
|
"ipconfigUSE_DNS_CACHE={USE_CACHE}"
|
|
]
|
|
}
|