Searched refs:load_json_config_file (Results 1 – 2 of 2) sorted by relevance
33 from make_proof_makefiles import load_json_config_file101 json_content = load_json_config_file(os.path.join(folder,
135 def load_json_config_file(file): function151 data = load_json_config_file(os.path.join(dyr, "Makefile.json"))
