blob: 29225e232bad41602e5cd1e6cd94fef3b7d5ac8a [file] [log] [blame]
import re
def flatten_result(result):
return re.sub(r"[\s\r\n]+", " ", result).strip()
def result_lines(result):
return [
x.strip()
for x in re.split(r"\r?\n", re.sub(r" +", " ", result))
if x.strip() != ""
]