added HtmlResultFormatterTests