From 568eac3f42e35df01f2026eb1d1d8767d46d85c4 Mon Sep 17 00:00:00 2001 From: Arvid Norberg Date: Wed, 23 Oct 2013 05:40:30 +0000 Subject: [PATCH] update parse_test_results.py --- tools/parse_test_results.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tools/parse_test_results.py b/tools/parse_test_results.py index 29481de0d..2134f94df 100755 --- a/tools/parse_test_results.py +++ b/tools/parse_test_results.py @@ -45,7 +45,10 @@ def style_output(logfile, outfile): l = l.encode('utf-8') l = l.replace('<', '<') l = l.replace('>', '>') - if 'TEST_CHECK' in l or 'TEST_EQUAL_ERROR' in l or l.startswith('EXIT STATUS: ') or \ + if 'TEST_CHECK' in l or \ + 'TEST_EQUAL_ERROR' in l or \ + '"ERROR: "' in l or \ + l.startswith('EXIT STATUS: ') or \ ' second time limit exceeded' in l or l.startswith('signal: SIG') or \ 'jump or move depends on uninitialised value(s)' in l or \ 'Invalid read of size' in l or \