Searched refs:dyr (Results 1 – 2 of 2) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | make_cbmc_batch_files.py | 31 for dyr, _, files in os.walk("."):
32 cbmc_batch_files = [os.path.join(os.path.abspath(dyr), file)
42 for dyr, _, files in os.walk("."):
48 cwd=os.path.abspath(dyr),
|
| D | make_proof_makefiles.py | 150 def dump_makefile(dyr, system): argument
151 data = load_json_config_file(os.path.join(dyr, "Makefile.json"))
159 "Expected a list of object files in %s/Makefile.json" % dyr)
169 new_value.append(compute(item, so_far, system, name, dyr, True))
172 makefile[name] = compute(value, so_far, system, name, dyr)
184 common_dir_path = common_dir_path * len(dyr.split(os.path.sep)[1:])
186 with open(os.path.join(dyr, "Makefile"), "w") as handle:
|
