// File: dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::XmlReporter::sectionEnded(Catch::SectionStats const&)
virtual void sectionEnded( SectionStats const& sectionStats ) CATCH_OVERRIDE {
            StreamingReporterBase::sectionEnded( sectionStats );
            if( --m_sectionDepth > 0 ) {
                XmlWriter::ScopedElement e = m_xml.scopedElement( "OverallResults" );
                e.writeAttribute( "successes", sectionStats.assertions.passed );
                e.writeAttribute( "failures", sectionStats.assertions.failed );
                e.writeAttribute( "expectedFailures", sectionStats.assertions.failedButOk );

                if ( m_config->showDurations() == ShowDurations::Always )
                    e.writeAttribute( "durationInSeconds", sectionStats.durationInSeconds );

                m_xml.endElement();
            }
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0xf8(%rbp)
movq -0x10(%rbp), %rsi
callq 0x1e950
movq -0xf8(%rbp), %rcx
movl 0x220(%rcx), %eax
addl $-0x1, %eax
movl %eax, 0x220(%rcx)
cmpl $0x0, %eax
jle 0x20ff2
movq -0xf8(%rbp), %rax
addq $0x1d8, %rax            # imm = 0x1D8
movq %rax, -0x108(%rbp)
leaq -0x39(%rbp), %rdi
movq %rdi, -0x100(%rbp)
callq 0xeb70
movq -0x100(%rbp), %rdx
leaq 0x5dbee(%rip), %rsi     # 0x7e8b6
leaq -0x38(%rbp), %rdi
callq 0x18c80
jmp 0x20cd3
movq -0x108(%rbp), %rsi
leaq -0x18(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x51f20
jmp 0x20ce9
leaq -0x38(%rbp), %rdi
callq 0xecd8
leaq -0x39(%rbp), %rdi
callq 0xe710
leaq -0x71(%rbp), %rdi
movq %rdi, -0x110(%rbp)
callq 0xeb70
movq -0x110(%rbp), %rdx
leaq 0x5dbac(%rip), %rsi     # 0x7e8c5
leaq -0x70(%rbp), %rdi
callq 0x18c80
jmp 0x20d24
movq -0x10(%rbp), %rdx
addq $0x70, %rdx
leaq -0x18(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x521f0
jmp 0x20d3b
leaq -0x70(%rbp), %rdi
callq 0xecd8
leaq -0x71(%rbp), %rdi
callq 0xe710
leaq -0x99(%rbp), %rdi
movq %rdi, -0x118(%rbp)
callq 0xeb70
movq -0x118(%rbp), %rdx
leaq 0x5d232(%rip), %rsi     # 0x7dfa0
leaq -0x98(%rbp), %rdi
callq 0x18c80
jmp 0x20d7c
movq -0x10(%rbp), %rdx
addq $0x78, %rdx
leaq -0x18(%rbp), %rdi
leaq -0x98(%rbp), %rsi
callq 0x521f0
jmp 0x20d96
leaq -0x98(%rbp), %rdi
callq 0xecd8
leaq -0x99(%rbp), %rdi
callq 0xe710
leaq -0xc1(%rbp), %rdi
movq %rdi, -0x120(%rbp)
callq 0xeb70
movq -0x120(%rbp), %rdx
leaq 0x5db00(%rip), %rsi     # 0x7e8cf
leaq -0xc0(%rbp), %rdi
callq 0x18c80
jmp 0x20ddd
movq -0x10(%rbp), %rdx
subq $-0x80, %rdx
leaq -0x18(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x521f0
jmp 0x20df7
leaq -0xc0(%rbp), %rdi
callq 0xecd8
leaq -0xc1(%rbp), %rdi
callq 0xe710
movq -0xf8(%rbp), %rdi
addq $0x10, %rdi
callq 0x19f20
movq %rax, -0x128(%rbp)
jmp 0x20e28
movq -0x128(%rbp), %rdi
movq (%rdi), %rax
movq 0x60(%rax), %rax
callq *%rax
movl %eax, -0x12c(%rbp)
jmp 0x20e40
movl -0x12c(%rbp), %eax
cmpl $0x1, %eax
jne 0x20fc7
leaq -0xe9(%rbp), %rdi
movq %rdi, -0x138(%rbp)
callq 0xeb70
movq -0x138(%rbp), %rdx
leaq 0x5da70(%rip), %rsi     # 0x7e8e0
leaq -0xe8(%rbp), %rdi
callq 0x18c80
jmp 0x20e7e
movq -0x10(%rbp), %rdx
addq $0x88, %rdx
leaq -0x18(%rbp), %rdi
leaq -0xe8(%rbp), %rsi
callq 0x52330
jmp 0x20e9b
leaq -0xe8(%rbp), %rdi
callq 0xecd8
leaq -0xe9(%rbp), %rdi
callq 0xe710
jmp 0x20fc7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x20edb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x38(%rbp), %rdi
callq 0xecd8
leaq -0x39(%rbp), %rdi
callq 0xe710
jmp 0x20ffb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x20f0c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x70(%rbp), %rdi
callq 0xecd8
leaq -0x71(%rbp), %rdi
callq 0xe710
jmp 0x20fe7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x20f40
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x98(%rbp), %rdi
callq 0xecd8
leaq -0x99(%rbp), %rdi
callq 0xe710
jmp 0x20fe7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x20f77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0xecd8
leaq -0xc1(%rbp), %rdi
callq 0xe710
jmp 0x20fe7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x20fe7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x20fb9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xe8(%rbp), %rdi
callq 0xecd8
leaq -0xe9(%rbp), %rdi
callq 0xe710
jmp 0x20fe7
movq -0xf8(%rbp), %rdi
addq $0x1d8, %rdi            # imm = 0x1D8
callq 0x371c0
jmp 0x20fdc
leaq -0x18(%rbp), %rdi
callq 0x51fe0
jmp 0x20ff2
leaq -0x18(%rbp), %rdi
callq 0x51fe0
jmp 0x20ffb
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
movq -0x48(%rbp), %rdi
callq 0xeb60
nopw %cs:(%rax,%rax)
nop