// File: /workspace/github_cpp_makefile_star2_O1/ahupowerdns[P]mcounter/./ext/doctest.h
// Function: doctest::(anonymous namespace)::XmlReporter::test_run_end(doctest::TestRunStats const&)
void test_run_end(const TestRunStats& p) override {
            if(tc) // the TestSuite tag - only if there has been at least 1 test case
                xml.endElement();

            xml.scopedElement("OverallResultsAsserts")
                    .writeAttribute("successes", p.numAsserts - p.numAssertsFailed)
                    .writeAttribute("failures", p.numAssertsFailed);

            xml.startElement("OverallResultsTestCases")
                    .writeAttribute("successes",
                                    p.numTestCasesPassingFilters - p.numTestCasesFailed)
                    .writeAttribute("failures", p.numTestCasesFailed);
            if(opt.no_skipped_summary == false)
                xml.writeAttribute("skipped", p.numTestCases - p.numTestCasesPassingFilters);
            xml.endElement();

            xml.endElement();
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rsi, %r14
movq %rdi, %r15
cmpq $0x0, 0x80(%rdi)
je 0xf3a9
leaq 0x8(%r15), %rdi
callq 0x10770
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0xccaa(%rip), %rsi      # 0x1c064
leaq 0xccb8(%rip), %rdx      # 0x1c079
leaq 0x8(%rsp), %rdi
callq 0x16ac2
leaq 0x8(%r15), %rbx
movq %rbx, 0x28(%rsp)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x1088a
leaq 0x40(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0xcc89(%rip), %rsi      # 0x1c07a
leaq 0xcc8b(%rip), %rdx      # 0x1c083
leaq 0x30(%rsp), %rdi
callq 0x16ac2
movl 0x10(%r14), %eax
subl 0x14(%r14), %eax
leaq 0x74(%rsp), %rdx
movl %eax, (%rdx)
leaq 0x30(%rsp), %rsi
movq %rbx, %rdi
callq 0x109a4
leaq 0x60(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0xcc9a(%rip), %rsi      # 0x1c0c8
leaq 0xcc9b(%rip), %rdx      # 0x1c0d0
leaq 0x50(%rsp), %rdi
callq 0x16ac2
leaq 0x14(%r14), %rdx
leaq 0x50(%rsp), %rsi
movq %rbx, %rdi
callq 0x109a4
movq 0x50(%rsp), %rdi
cmpq %rbp, %rdi
je 0xf467
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x53d0
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0xf47e
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x53d0
leaq 0x28(%rsp), %rdi
callq 0x10758
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xf49f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x53d0
leaq 0x8(%rsp), %rdi
movq %r12, (%rdi)
leaq 0xca17(%rip), %rsi      # 0x1bec5
leaq 0xca27(%rip), %rdx      # 0x1bedc
callq 0x16ac2
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x1088a
leaq 0x30(%rsp), %rdi
movq %r13, (%rdi)
leaq 0xcba4(%rip), %rsi      # 0x1c07a
leaq 0xcba6(%rip), %rdx      # 0x1c083
callq 0x16ac2
movl 0x4(%r14), %eax
subl 0xc(%r14), %eax
leaq 0x28(%rsp), %rdx
movl %eax, (%rdx)
leaq 0x30(%rsp), %rsi
movq %rbx, %rdi
callq 0x11120
leaq 0x50(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0xcbbb(%rip), %rsi      # 0x1c0c8
leaq 0xcbbc(%rip), %rdx      # 0x1c0d0
callq 0x16ac2
leaq 0xc(%r14), %rdx
leaq 0x50(%rsp), %rsi
movq %rbx, %rdi
callq 0x11120
movq 0x50(%rsp), %rdi
cmpq %rbp, %rdi
je 0xf541
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x53d0
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0xf558
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x53d0
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xf56f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x53d0
movq 0x78(%r15), %rax
cmpb $0x0, 0x7f(%rax)
jne 0xf5c6
leaq 0x8(%rsp), %rdi
movq %r12, (%rdi)
leaq 0xdcf0(%rip), %rsi      # 0x1d278
leaq 0xdcf0(%rip), %rdx      # 0x1d27f
callq 0x16ac2
movl (%r14), %eax
subl 0x4(%r14), %eax
leaq 0x30(%rsp), %rdx
movl %eax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x11120
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xf5c6
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x53d0
movq %rbx, %rdi
callq 0x10770
movq %rbx, %rdi
callq 0x10770
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xf628
jmp 0xf691
movq %rax, %rbx
movq 0x50(%rsp), %rdi
cmpq %rbp, %rdi
je 0xf60d
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x53d0
jmp 0xf60d
jmp 0xf60a
movq %rax, %rbx
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0xf678
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x53d0
jmp 0xf678
jmp 0xf628
movq %rax, %rbx
jmp 0xf678
jmp 0xf691
movq %rax, %rbx
movq 0x50(%rsp), %rdi
cmpq %rbp, %rdi
je 0xf650
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x53d0
jmp 0xf650
jmp 0xf64d
movq %rax, %rbx
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0xf66e
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x53d0
jmp 0xf66e
jmp 0xf66b
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x10758
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xf694
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x53d0
jmp 0xf694
movq %rax, %rbx
movq %rbx, %rdi
callq 0x5620