Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
Dmake_type_header_files.py52 def get_module_name(fyle): argument
53 base = os.path.basename(fyle)
57 def collect_defines(fyle): argument
63 with open(fyle) as in_file:
87 def make_header_file(goto_binary, fyle, target_folder): argument
88 fyle = os.path.normpath(fyle)
90 module = get_module_name(fyle)
104 logging.error("Dumping type header for file '%s' failed", fyle)
112 collected = collect_defines(fyle)