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 prvFindEntryIndex.0:3",
12    "--unwindset prvProcessDNSCache.0:5,strcmp.0:{HOSTNAME_UNWIND}",
13    "--nondet-static"
14  ],
15  "OBJS":
16  [
17    "$(ENTRY)_harness.goto",
18    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_DNS_Cache.goto",
19    "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/tasks.goto"
20  ],
21  "DEF":
22  [
23    "ipconfigUSE_DNS_CACHE={USE_CACHE}",
24    "MAX_HOSTNAME_LEN={MAX_HOSTNAME_LEN}"
25  ],
26  "OPT" : "-m32"
27}
28