Searched defs:defines (Results 1 – 2 of 2) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | make_common_makefile.py | 121 def find_definition_once(key, defines, prefix=None): argument
134 def find_definition(key, defines): argument
155 def write_define(opsys, define, defines, makefile): argument
162 def write_common_defines(opsys, defines, makefile): argument
180 def write_makefile(opsys, template, defines, makefile): argument
223 def makefile_from_template(opsys, template, defines, makefile="Makefile"): argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/ |
| D | compute_patch.py | 89 def manipulate_headerfile(defines, header_file): argument
149 def create_patch(defines, header_file): argument
|
