From b712ca8fabc22f66b72631849b2feeca1ec1393d Mon Sep 17 00:00:00 2001
From: Craig Dowell <craigdo@ee.washington.edu>
Date: Wed, 23 Sep 2009 15:38:36 -0700
Subject: [PATCH] crashing examples should print red in html

---
 test.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test.py b/test.py
index 7057298e4..2794faea4 100755
--- a/test.py
+++ b/test.py
@@ -233,7 +233,7 @@ def translate_to_html(results_file, html_file):
     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)