// File: xelia-it[P]mustache/third-party/catch2/single_include/catch2/catch.hpp
// Function: Catch::JunitReporter::writeAssertion(Catch::AssertionStats const&)
void JunitReporter::writeAssertion( AssertionStats const& stats ) {
        AssertionResult const& result = stats.assertionResult;
        if( !result.isOk() ) {
            std::string elementName;
            switch( result.getResultType() ) {
                case ResultWas::ThrewException:
                case ResultWas::FatalErrorCondition:
                    elementName = "error";
                    break;
                case ResultWas::ExplicitFailure:
                case ResultWas::ExpressionFailed:
                case ResultWas::DidntThrowException:
                    elementName = "failure";
                    break;

                // We should never see these here:
                case ResultWas::Info:
                case ResultWas::Warning:
                case ResultWas::Ok:
                case ResultWas::Unknown:
                case ResultWas::FailureBit:
                case ResultWas::Exception:
                    elementName = "internalError";
                    break;
            }

            XmlWriter::ScopedElement e = xml.scopedElement( elementName );

            xml.writeAttribute( "message", result.getExpression() );
            xml.writeAttribute( "type", result.getTestMacroName() );

            ReusableStringStream rss;
            if (stats.totals.assertions.total() > 0) {
                rss << "FAILED" << ":\n";
                if (result.hasExpression()) {
                    rss << "  ";
                    rss << result.getExpressionInMacro();
                    rss << '\n';
                }
                if (result.hasExpandedExpression()) {
                    rss << "with expansion:\n";
                    rss << Column(result.getExpandedExpression()).indent(2) << '\n';
                }
            } else {
                rss << '\n';
            }

            if( !result.getMessage().empty() )
                rss << result.getMessage() << '\n';
            for( auto const& msg : stats.infoMessages )
                if( msg.type == ResultWas::Info )
                    rss << msg.message << '\n';

            rss << "at " << result.getSourceInfo();
            xml.writeText( rss.str(), XmlFormatting::Newline );
        }
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x290, %rsp            # imm = 0x290
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x218(%rbp)
movq -0x10(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdi
callq 0x54950
testb $0x1, %al
jne 0x77538
leaq -0x38(%rbp), %rdi
callq 0x52a00
movq -0x18(%rbp), %rdi
callq 0x549c0
movl %eax, %ecx
movl %ecx, %eax
incl %eax
movl %ecx, -0x21c(%rbp)
subl $0x4, %eax
jb 0x76eba
jmp 0x76e24
movl -0x21c(%rbp), %eax
subl $0x10, %eax
je 0x76eba
jmp 0x76e35
movl -0x21c(%rbp), %eax
addl $-0x11, %eax
subl $0x2, %eax
jb 0x76ea6
jmp 0x76e45
movl -0x21c(%rbp), %eax
subl $0x110, %eax            # imm = 0x110
je 0x76eba
jmp 0x76e54
movl -0x21c(%rbp), %eax
subl $0x111, %eax            # imm = 0x111
je 0x76e81
jmp 0x76e63
movl -0x21c(%rbp), %eax
subl $0x112, %eax            # imm = 0x112
je 0x76ea6
jmp 0x76e72
movl -0x21c(%rbp), %eax
subl $0x210, %eax            # imm = 0x210
jne 0x76ece
jmp 0x76e81
leaq 0xd0dd6(%rip), %rsi     # 0x147c5e
leaq -0x38(%rbp), %rdi
callq 0x529d0
jmp 0x76e93
jmp 0x76ece
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x7752d
leaq 0xc7ab0(%rip), %rsi     # 0x13e95d
leaq -0x38(%rbp), %rdi
callq 0x529d0
jmp 0x76eb8
jmp 0x76ece
leaq 0xc8fd0(%rip), %rsi     # 0x13fe91
leaq -0x38(%rbp), %rdi
callq 0x529d0
jmp 0x76ecc
jmp 0x76ece
movq -0x218(%rbp), %rax
addq $0xd8, %rax
movq %rax, -0x228(%rbp)
movl $0x2, %edi
movl $0x1, %esi
callq 0x6e390
movq -0x228(%rbp), %rsi
movl %eax, %ecx
leaq -0x58(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x6f120
jmp 0x76f09
movq -0x218(%rbp), %rax
addq $0xd8, %rax
movq %rax, -0x238(%rbp)
leaq -0x79(%rbp), %rdi
movq %rdi, -0x230(%rbp)
callq 0x52ca0
movq -0x230(%rbp), %rdx
leaq 0xca1f5(%rip), %rsi     # 0x141130
leaq -0x78(%rbp), %rdi
callq 0x529e0
jmp 0x76f46
movq -0x18(%rbp), %rsi
leaq -0xa0(%rbp), %rdi
callq 0x54a40
jmp 0x76f58
movq -0x238(%rbp), %rdi
leaq -0x78(%rbp), %rsi
leaq -0xa0(%rbp), %rdx
callq 0x6f1b0
jmp 0x76f71
leaq -0xa0(%rbp), %rdi
callq 0x52e58
leaq -0x78(%rbp), %rdi
callq 0x52e58
leaq -0x79(%rbp), %rdi
callq 0x527d0
movq -0x218(%rbp), %rax
addq $0xd8, %rax
movq %rax, -0x248(%rbp)
leaq -0xc1(%rbp), %rdi
movq %rdi, -0x240(%rbp)
callq 0x52ca0
movq -0x240(%rbp), %rdx
leaq 0xca363(%rip), %rsi     # 0x141327
leaq -0xc0(%rbp), %rdi
callq 0x529e0
jmp 0x76fd2
movq -0x18(%rbp), %rdi
callq 0x54e70
movq -0x248(%rbp), %rdi
movq %rax, -0xd8(%rbp)
movq %rdx, -0xd0(%rbp)
leaq -0xc0(%rbp), %rsi
leaq -0xd8(%rbp), %rdx
callq 0x95f70
jmp 0x77005
leaq -0xc0(%rbp), %rdi
callq 0x52e58
leaq -0xc1(%rbp), %rdi
callq 0x527d0
leaq -0xf0(%rbp), %rdi
callq 0x67d90
jmp 0x7702b
movq -0x10(%rbp), %rdi
addq $0xb0, %rdi
addq $0x8, %rdi
callq 0x645a0
cmpq $0x0, %rax
jbe 0x772b7
leaq 0xc8e4f(%rip), %rsi     # 0x13fe9f
leaq -0xf0(%rbp), %rdi
callq 0x96030
movq %rax, -0x250(%rbp)
jmp 0x77065
movq -0x250(%rbp), %rdi
leaq 0xc8b96(%rip), %rsi     # 0x13fc09
callq 0x8ab90
jmp 0x7707a
movq -0x18(%rbp), %rdi
callq 0x549e0
testb $0x1, %al
jne 0x7708c
jmp 0x771b6
leaq 0xd1979(%rip), %rsi     # 0x148a0c
leaq -0xf0(%rbp), %rdi
callq 0x8ab90
jmp 0x770a1
movq -0x18(%rbp), %rsi
leaq -0x110(%rbp), %rdi
callq 0x54b90
jmp 0x770b3
leaq -0xf0(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x8ab30
jmp 0x770c8
leaq -0x110(%rbp), %rdi
callq 0x52e58
movb $0xa, -0x111(%rbp)
leaq -0xf0(%rbp), %rdi
leaq -0x111(%rbp), %rsi
callq 0x8ac70
jmp 0x770f0
jmp 0x771b6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x77132
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x77129
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0xa0(%rbp), %rdi
callq 0x52e58
leaq -0x78(%rbp), %rdi
callq 0x52e58
leaq -0x79(%rbp), %rdi
callq 0x527d0
jmp 0x77524
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x77166
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0x52e58
leaq -0xc1(%rbp), %rdi
callq 0x527d0
jmp 0x77524
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x77524
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x77518
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x110(%rbp), %rdi
callq 0x52e58
jmp 0x77518
movq -0x18(%rbp), %rdi
callq 0x54cc0
movb %al, -0x251(%rbp)
jmp 0x771c7
movb -0x251(%rbp), %al
testb $0x1, %al
jne 0x771d6
jmp 0x772b5
leaq 0xc8cc9(%rip), %rsi     # 0x13fea6
leaq -0xf0(%rbp), %rdi
callq 0x8e410
jmp 0x771eb
movq -0x18(%rbp), %rsi
leaq -0x168(%rbp), %rdi
callq 0x54d80
jmp 0x771fd
leaq -0x148(%rbp), %rdi
leaq -0x168(%rbp), %rsi
callq 0x8d4c0
jmp 0x77212
leaq -0x148(%rbp), %rdi
movl $0x2, %esi
callq 0x8d550
movq %rax, -0x260(%rbp)
jmp 0x7722c
movq -0x260(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
callq 0x96060
movq %rax, -0x268(%rbp)
jmp 0x77248
movq -0x268(%rbp), %rdi
movb $0xa, -0x169(%rbp)
leaq -0x169(%rbp), %rsi
callq 0x8ac70
jmp 0x77264
leaq -0x148(%rbp), %rdi
callq 0x8d570
leaq -0x168(%rbp), %rdi
callq 0x52e58
jmp 0x772b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x772a4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x148(%rbp), %rdi
callq 0x8d570
leaq -0x168(%rbp), %rdi
callq 0x52e58
jmp 0x77518
jmp 0x772d5
movb $0xa, -0x16a(%rbp)
leaq -0xf0(%rbp), %rdi
leaq -0x16a(%rbp), %rsi
callq 0x8ac70
jmp 0x772d3
jmp 0x772d5
movq -0x18(%rbp), %rsi
leaq -0x190(%rbp), %rdi
callq 0x54e20
jmp 0x772e7
leaq -0x190(%rbp), %rdi
callq 0x52bb0
xorb $-0x1, %al
movb %al, -0x269(%rbp)
leaq -0x190(%rbp), %rdi
callq 0x52e58
movb -0x269(%rbp), %al
testb $0x1, %al
jne 0x77313
jmp 0x77388
movq -0x18(%rbp), %rsi
leaq -0x1b0(%rbp), %rdi
callq 0x54e20
jmp 0x77325
leaq -0xf0(%rbp), %rdi
leaq -0x1b0(%rbp), %rsi
callq 0x8ab30
movq %rax, -0x278(%rbp)
jmp 0x77341
movq -0x278(%rbp), %rdi
movb $0xa, -0x1b1(%rbp)
leaq -0x1b1(%rbp), %rsi
callq 0x8ac70
jmp 0x7735d
leaq -0x1b0(%rbp), %rdi
callq 0x52e58
jmp 0x77388
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1b0(%rbp), %rdi
callq 0x52e58
jmp 0x77518
movq -0x10(%rbp), %rax
addq $0x98, %rax
movq %rax, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rdi
callq 0x96090
movq %rax, -0x1c8(%rbp)
movq -0x1c0(%rbp), %rdi
callq 0x960c0
movq %rax, -0x1d0(%rbp)
leaq -0x1c8(%rbp), %rdi
leaq -0x1d0(%rbp), %rsi
callq 0x960f0
testb $0x1, %al
jne 0x773d8
jmp 0x77449
leaq -0x1c8(%rbp), %rdi
callq 0x96130
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rax
cmpl $0x1, 0x40(%rax)
jne 0x77436
movq -0x1d8(%rbp), %rsi
addq $0x10, %rsi
leaq -0xf0(%rbp), %rdi
callq 0x8ab30
movq %rax, -0x280(%rbp)
jmp 0x77418
movq -0x280(%rbp), %rdi
movb $0xa, -0x1d9(%rbp)
leaq -0x1d9(%rbp), %rsi
callq 0x8ac70
jmp 0x77434
jmp 0x77436
jmp 0x77438
leaq -0x1c8(%rbp), %rdi
callq 0x96150
jmp 0x773bf
leaq 0xc8499(%rip), %rsi     # 0x13f8e9
leaq -0xf0(%rbp), %rdi
callq 0x96170
movq %rax, -0x288(%rbp)
jmp 0x77465
movq -0x18(%rbp), %rdi
callq 0x54e50
movq -0x288(%rbp), %rdi
movq %rax, -0x1f0(%rbp)
movq %rdx, -0x1e8(%rbp)
leaq -0x1f0(%rbp), %rsi
callq 0x8e5d0
jmp 0x77491
movq -0x218(%rbp), %rax
addq $0xd8, %rax
movq %rax, -0x290(%rbp)
leaq -0x210(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0x53b70
jmp 0x774ba
movq -0x290(%rbp), %rdi
leaq -0x210(%rbp), %rsi
movl $0x2, %edx
callq 0x6ed70
jmp 0x774d4
leaq -0x210(%rbp), %rdi
callq 0x52e58
leaq -0xf0(%rbp), %rdi
callq 0x67e50
leaq -0x58(%rbp), %rdi
callq 0x6ecf0
leaq -0x38(%rbp), %rdi
callq 0x52e58
jmp 0x77538
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x210(%rbp), %rdi
callq 0x52e58
leaq -0xf0(%rbp), %rdi
callq 0x67e50
leaq -0x58(%rbp), %rdi
callq 0x6ecf0
leaq -0x38(%rbp), %rdi
callq 0x52e58
jmp 0x77541
addq $0x290, %rsp            # imm = 0x290
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0x52c90
nopw (%rax,%rax)