Browse Source

Merge pull request #678 from riscv/jimw-dejagnu-error

Check for dejagnu ERROR.
pull/679/head
Kito Cheng 6 years ago
committed by GitHub
parent
commit
69fd36ba29
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      scripts/testsuite-filter

3
scripts/testsuite-filter

@ -158,7 +158,8 @@ def read_sum(sum_files):
# Parsing current running target.
current_target = l.split(" ")[-1].strip()
unexpected_result[current_target] = list()
elif l.startswith("FAIL") or l.startswith("XPASS"):
elif l.startswith("FAIL") or l.startswith("XPASS") \
or l.startswith("ERROR"):
unexpected_result[current_target].append(l.strip())
unexpected_results[tool] = unexpected_result
# tool -> variation(target) -> list of unexpected result

Loading…
Cancel
Save