(filename: str)
| 170 | |
| 171 | |
| 172 | def stream_jsonl_all(filename: str) -> Iterable[Dict]: |
| 173 | results = [] |
| 174 | if filename.endswith(".gz"): |
| 175 | fp = gzip.open(open(filename, "rb"), "rt") |
| 176 | else: |
| 177 | fp = open(filename, "r") |
| 178 | for line in fp: |
| 179 | if any(not x.isspace() for x in line): |
| 180 | results.append(json.loads(line)) |
| 181 | fp.close() |
| 182 | |
| 183 | return results |
| 184 | |
| 185 | |
| 186 | def evaluate_functional_correctness( |
no outgoing calls
no test coverage detected