// File: minimind[P]simple-graph/unittest/catch.hpp
// Function: Catch::XmlReporter::EndSection(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, Catch::Counts const&)
virtual void EndSection( const std::string& /*sectionName*/, const Counts& assertions ) {
            if( --m_sectionDepth > 0 ) {
                m_xml.scopedElement( "OverallResults" )
                    .writeAttribute( "successes", assertions.passed )
                    .writeAttribute( "failures", assertions.failed )
                    .writeAttribute( "expectedFailures", assertions.failedButOk );
                m_xml.endElement();
            }
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x110, %rsp            # imm = 0x110
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x8(%rbp), %rcx
movq %rcx, -0xd8(%rbp)
movl 0x70(%rcx), %eax
addl $-0x1, %eax
movl %eax, 0x70(%rcx)
cmpl $0x0, %eax
jle 0x1889c
movq -0xd8(%rbp), %rax
addq $0x28, %rax
movq %rax, -0xe8(%rbp)
leaq -0x41(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0xb930
movq -0xe0(%rbp), %rdx
leaq 0x60d08(%rip), %rsi     # 0x7935c
leaq -0x40(%rbp), %rdi
callq 0x134e0
jmp 0x1865f
movq -0xe8(%rbp), %rsi
leaq -0x20(%rbp), %rdi
leaq -0x40(%rbp), %rdx
callq 0x46040
jmp 0x18675
leaq -0x79(%rbp), %rdi
movq %rdi, -0xf0(%rbp)
callq 0xb930
movq -0xf0(%rbp), %rdx
leaq 0x60cd8(%rip), %rsi     # 0x7936b
leaq -0x78(%rbp), %rdi
callq 0x134e0
jmp 0x1869e
movq -0x18(%rbp), %rdx
leaq -0x20(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x460c0
movq %rax, -0xf8(%rbp)
jmp 0x186b8
leaq -0xa1(%rbp), %rdi
movq %rdi, -0x100(%rbp)
callq 0xb930
movq -0x100(%rbp), %rdx
leaq 0x60499(%rip), %rsi     # 0x78b72
leaq -0xa0(%rbp), %rdi
callq 0x134e0
jmp 0x186e7
movq -0xf8(%rbp), %rdi
movq -0x18(%rbp), %rdx
addq $0x8, %rdx
leaq -0xa0(%rbp), %rsi
callq 0x460c0
movq %rax, -0x108(%rbp)
jmp 0x1870b
leaq -0xc9(%rbp), %rdi
movq %rdi, -0x110(%rbp)
callq 0xb930
movq -0x110(%rbp), %rdx
leaq 0x60c49(%rip), %rsi     # 0x79375
leaq -0xc8(%rbp), %rdi
callq 0x134e0
jmp 0x1873a
movq -0x108(%rbp), %rdi
movq -0x18(%rbp), %rdx
addq $0x10, %rdx
leaq -0xc8(%rbp), %rsi
callq 0x460c0
jmp 0x18757
leaq -0xc8(%rbp), %rdi
callq 0xb330
leaq -0xc9(%rbp), %rdi
callq 0xb5c0
leaq -0xa0(%rbp), %rdi
callq 0xb330
leaq -0xa1(%rbp), %rdi
callq 0xb5c0
leaq -0x78(%rbp), %rdi
callq 0xb330
leaq -0x79(%rbp), %rdi
callq 0xb5c0
leaq -0x20(%rbp), %rdi
callq 0x46100
leaq -0x40(%rbp), %rdi
callq 0xb330
leaq -0x41(%rbp), %rdi
callq 0xb5c0
movq -0xd8(%rbp), %rdi
addq $0x28, %rdi
callq 0x21320
jmp 0x1889c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x18891
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x18888
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x18876
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x1886d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x18861
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x18855
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x18849
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xc8(%rbp), %rdi
callq 0xb330
leaq -0xc9(%rbp), %rdi
callq 0xb5c0
leaq -0xa0(%rbp), %rdi
callq 0xb330
leaq -0xa1(%rbp), %rdi
callq 0xb5c0
leaq -0x78(%rbp), %rdi
callq 0xb330
leaq -0x79(%rbp), %rdi
callq 0xb5c0
leaq -0x20(%rbp), %rdi
callq 0x46100
leaq -0x40(%rbp), %rdi
callq 0xb330
leaq -0x41(%rbp), %rdi
callq 0xb5c0
jmp 0x188a5
addq $0x110, %rsp            # imm = 0x110
popq %rbp
retq
movq -0x50(%rbp), %rdi
callq 0xb920
nop