Home
last modified time | relevance | path

Searched refs:key (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
HDmake_common_makefile.py80 def patch_compile_output(opsys, line, key, value): argument
84 if key in ["COMPILE_ONLY", "COMPILE_LINK"] and value is not None:
116 for key, values in json.load(_file).items():
117 variable[cleanup_whitespace(key)] = [cleanup_whitespace(value)
121 def find_definition_once(key, defines, prefix=None): argument
125 key2 = key[len(prefix):] if key.startswith(prefix) else prefix + key
127 for _key in [key, key2]:
134 def find_definition(key, defines): argument
136 return (find_definition_once(key, harness_defines, "H") or
137 find_definition_once(key, opsys_defines, "O") or
[all …]
HDmake_proof_makefiles.py195 def compute(value, so_far, system, key, harness, appending=False): argument
200 os.path.join(harness, "Makefile.json"), key,
212 os.path.join(harness, "Makefile.json"), key,
225 key, value)
227 if key == "DEF":
230 elif key == "INC":
239 so_far[key] = "%s %s" % (so_far[key], final_value)
241 so_far[key] = final_value
243 final_value, key)
245 so_far[key] = final_value
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/
HDcompute_patch.py68 key = "DEF"
71 key = "DEF "
78 if key in makefile.keys():
83 for define in makefile[key]:
/FreeRTOS-Plus-TCP-v4.0.0/
HDGenerateOriginalFiles.py162 Kernel_include_list_unique.sort(key=KernelSortingFunction)
167 TCP_include_list_unique.sort(key=TCPSortingFunction)
/FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/
HDconfig.doxyfile1836 # search using the keyboard; to jump to the search box use <access key> + S
1837 # (what the <access key> is depends on the OS and browser, but it is typically
1839 # key> to jump into the search results window, the results can be navigated