diff options
Diffstat (limited to 'scripts/analysis/extract-target-trees.py')
-rwxr-xr-x | scripts/analysis/extract-target-trees.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/analysis/extract-target-trees.py b/scripts/analysis/extract-target-trees.py index c799a5c97..9f733de94 100755 --- a/scripts/analysis/extract-target-trees.py +++ b/scripts/analysis/extract-target-trees.py @@ -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: |