extract-target-trees.py: update to match current trace format

This commit is contained in:
Phil Williams 2013-11-10 16:09:06 +00:00
parent fe01a02fcb
commit 943f6a9901

View File

@ -110,9 +110,9 @@ def parse_line(s):
pattern = r"Trans Opt (\d+) " + \
r"\[(\d+)\.\.(\d+)\]:" + \
r"((?: \[\d+\.\.\d+\]=\S+ )+):" + \
r" (\S+) ->" + \
r" (\S+) ->\S+ -> " + \
r"((?:\S+ )+):" + \
r"((?:\d+-\d+ )*): pC="
r"((?:\d+-\d+ )*): c="
regexp = re.compile(pattern)
match = regexp.match(s)
if not match: