Searched refs:defines (Results 1 – 11 of 11) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ |
| D | make_common_makefile.py | 121 def find_definition_once(key, defines, prefix=None): argument
128 _value = defines.get(_key)
134 def find_definition(key, defines): argument
135 common_defines, opsys_defines, harness_defines = defines
155 def write_define(opsys, define, defines, makefile): argument
156 value = find_definition(define, defines)
162 def write_common_defines(opsys, defines, makefile): argument
163 common_defines, opsys_defines, harness_defines = defines
165 for key_prefix, defines in zip(["C", "O", "H"],
175 key, defines)
[all …]
|
| D | prepare.py | 78 defines = find_all_defines()
80 manipulate_headerfile(defines, header)
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/patches/ |
| D | compute_patch.py | 61 defines = set()
86 defines.add(matched.group(1))
87 return defines
89 def manipulate_headerfile(defines, header_file): argument
99 match.group(1) in defines and
149 def create_patch(defines, header_file): argument
151 manipulate_headerfile(defines, header_file)
181 defines = find_all_defines()
185 create_patch(defines, header)
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/ |
| D | README.md | 2 * cbmc.h defines some macros used in the proof test harnesses
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/ |
| D | coverity_misra.config | 47 …include lots of header files from other sources such as the kernel which defines structures that v…
|
| /FreeRTOS-Plus-TCP-v3.1.0/docs/doxygen/ |
| D | style.css | 4 * This file defines styles for custom elements in the header/footer and
|
| D | config.doxyfile | 718 # appearance of the value of individual variables and macros / defines can be
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | readme.md | 25 Two more defines that are needed:
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | readme.md | 63 This configuration file defines the HAL modules that will be used. Here are some examples of the mo…
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/Common/ |
| D | phyHandling.c | 59 #warning please use the new defines with 'ipconfig' prefix
|
| /FreeRTOS-Plus-TCP-v3.1.0/ |
| D | History.txt | 247 + Introduced ipconfigZERO_COPY_TX_DRIVER, which defines who is responsible
|
