Searched refs:filename (Results 1 – 4 of 4) sorted by relevance
67 def find_proofs_in_json_file(filename): argument70 if not filename:73 with open(filename) as proofs:76 raise UserWarning("Can't find key {} in json file {}".format(JSON_KEY, filename))78 raise UserWarning("Can't parse json file {}".format(filename))
113 def read_variable_definitions(filename): argument115 with open(filename) as _file:
130 for filename in ModulesToCombine:131 f = open(filename, "r")210 for filename in MODULES_DICT[module]:212 with open(filename, "r") as f:
2715 # path where java can find the plantuml.jar file or to the filename of jar file
