3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-11-26 07:16:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

change root element of xml reporter to Catch

Browse Source
This commit is contained in:
Phil Nash 2011-04-12 07:38:23 +01:00
parent 0f2e5d65b7
commit c8b279e76c
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
catch_reporter_xml.hpp
View File

@ -58,6 +58,7 @@ namespace Catch
m_xml.scopedElement( "OverallResults" ) m_xml.scopedElement( "OverallResults" )
.writeAttribute( "successes", succeeded ) .writeAttribute( "successes", succeeded )
.writeAttribute( "failures", failed ); .writeAttribute( "failures", failed );
m_xml.endElement();
} }
/////////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////////