mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-22 21:36:11 +01:00
XML Reporter reports file/ line in Exception element
This commit is contained in:
parent
02e597c2cc
commit
db2eda9009
@ -135,6 +135,8 @@ namespace Catch
|
|||||||
{
|
{
|
||||||
case ResultWas::ThrewException:
|
case ResultWas::ThrewException:
|
||||||
m_xml.scopedElement( "Exception" )
|
m_xml.scopedElement( "Exception" )
|
||||||
|
.writeAttribute( "filename", resultInfo.getFilename() )
|
||||||
|
.writeAttribute( "line", resultInfo.getLine() )
|
||||||
.writeText( resultInfo.getMessage() );
|
.writeText( resultInfo.getMessage() );
|
||||||
m_currentTestSuccess = false;
|
m_currentTestSuccess = false;
|
||||||
break;
|
break;
|
||||||
|
Loading…
Reference in New Issue
Block a user