Home
last modified time | relevance | path

Searched refs:defines (Results 1 – 17 of 17) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
Dmake_common_makefile.py121 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 …]
Dprepare.py78 defines = find_all_defines()
80 manipulate_headerfile(defines, header)
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/
Dcompute_patch.py61 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-v4.0.0/test/cbmc/include/
DREADME.md2 * cbmc.h defines some macros used in the proof test harnesses
/FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/
Dcoverity_misra.config47 …include lots of header files from other sources such as the kernel which defines structures that v…
/FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/
Dstyle.css4 * This file defines styles for custom elements in the header/footer and
Dconfig.doxyfile748 # appearance of the value of individual variables and macros / defines can be
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/
DNetworkInterface.c64 #error please use the new defines with 'ipconfig' prefix
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/RX/
DNetworkInterface.c71 #error please use the new defines with 'ipconfig' prefix
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/
DNetworkInterface.c57 #error please use the new defines with 'ipconfig' prefix
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/
Dreadme.md63 This configuration file defines the HAL modules that will be used. Here are some examples of the mo…
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/
DNetworkInterface.c67 #error please use the new defines with 'ipconfig' prefix
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/
Dreadme.md25 Two more defines that are needed:
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Common/
DphyHandling.c59 #error please use the new defines with 'ipconfig' prefix
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC18xx/
DNetworkInterface.c54 #error please use the new defines with 'ipconfig' prefix
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ksz8851snl/
DNetworkInterface.c197 #error please use the new defines with 'ipconfig' prefix
/FreeRTOS-Plus-TCP-v4.0.0/
DHistory.txt316 + Introduced ipconfigZERO_COPY_TX_DRIVER, which defines who is responsible