(filename: str)
| 83 | |
| 84 | |
| 85 | def stream_jsonl_all(filename: str) -> Iterable[Dict]: |
| 86 | results = [] |
| 87 | if filename.endswith(".gz"): |
| 88 | fp = gzip.open(open(filename, "rb"), "rt") |
| 89 | else: |
| 90 | fp = open(filename, "r") |
| 91 | for line in fp: |
| 92 | if any(not x.isspace() for x in line): |
| 93 | results.append(json.loads(line)) |
| 94 | fp.close() |
| 95 | |
| 96 | return results |
| 97 | |
| 98 | |
| 99 | def evaluate_functional_correctness( |
no outgoing calls
no test coverage detected