author | Craig Dowell <craigdo@ee.washington.edu> |
Wed, 23 Sep 2009 15:38:36 -0700 | |
changeset 5243 | 46a3f1348d4d |
parent 5242 | a3927b39f492 |
child 5244 | a163562a2622 |
child 5246 | 0974f3a8f379 |
--- a/test.py Wed Sep 23 15:35:26 2009 -0700 +++ b/test.py Wed Sep 23 15:38:36 2009 -0700 @@ -233,7 +233,7 @@ for example in dom.getElementsByTagName("Example"): f.write("<tr>\n") result = get_node_text(example.getElementsByTagName("Result")[0]) - if result == "FAIL": + if result in ["FAIL", "CRASH"]: f.write("<td style=\"color:red\">%s</td>\n" % result) else: f.write("<td style=\"color:green\">%s</td>\n" % result)