1{
2  "ENTRY": "DNSlookup",
3  ################################################################
4  # This configuration uses DNS cache and the MAX_HOSTNAME_LEN is set to 255 according to the specification
5  "MAX_HOSTNAME_LEN": 255,
6  "HOSTNAME_UNWIND": "__eval {MAX_HOSTNAME_LEN} + 1",
7  "USE_CACHE": 1,
8  "CBMCFLAGS":
9  [
10    "--unwind 1",
11    "--unwindset prvProcessDNSCache.0:5,strcmp.0:{HOSTNAME_UNWIND}",
12    "--nondet-static"
13  ],
14  "OBJS":
15  [
16    "$(ENTRY)_harness.goto",
17    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_DNS.goto",
18    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/tasks.goto"
19  ],
20  "DEF":
21  [
22    "ipconfigUSE_DNS_CACHE={USE_CACHE}",
23    "MAX_HOSTNAME_LEN={MAX_HOSTNAME_LEN}"
24  ],
25  "OPT" : "-m32"
26}
27