Searched refs:header_file (Results 1 – 2 of 2) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/ |
| D | compute_patch.py | 89 def manipulate_headerfile(defines, header_file): argument
94 with open(header_file, "r") as source:
115 with open(header_file, "w") as output:
143 for header_file in header_files:
144 if os.path.basename(header_file) + "\n" in diff_state.stdout:
149 def create_patch(defines, header_file): argument
151 manipulate_headerfile(defines, header_file)
152 patch = subprocess.run(["git", "diff", header_file],
155 cleaned = subprocess.run(["git", "checkout", "--", header_file],
170 """.format(cleaned.returncode, header_file, cleaned.stderr)))
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | make_type_header_files.py | 91 header_file = "{}_datastructure.h".format(module)
97 header_file]
111 header = os.path.normpath(os.path.join(tmpdir, header_file))
118 target_file = os.path.normpath(os.path.join(target_folder, header_file))
|
