// File: 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
movq %rsp, %rbp
subq $0x1b0, %rsp            # imm = 0x1B0
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x148(%rbp)
cmpq $0x0, 0x80(%rax)
je 0x15958
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
callq 0x17ba0
movq -0x148(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x158(%rbp)
leaq -0x39(%rbp), %rdi
movq %rdi, -0x150(%rbp)
callq 0x6810
movq -0x150(%rbp), %rdx
leaq 0x237a5(%rip), %rsi     # 0x3912d
leaq -0x38(%rbp), %rdi
callq 0x25b30
jmp 0x15993
movq -0x158(%rbp), %rsi
leaq -0x18(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x17970
jmp 0x159a9
leaq -0x71(%rbp), %rdi
movq %rdi, -0x160(%rbp)
callq 0x6810
movq -0x160(%rbp), %rdx
leaq 0x2377c(%rip), %rsi     # 0x39143
leaq -0x70(%rbp), %rdi
callq 0x25b30
jmp 0x159d2
movq -0x10(%rbp), %rcx
movl 0x10(%rcx), %eax
movl 0x14(%rcx), %ecx
subl %ecx, %eax
movl %eax, -0x78(%rbp)
leaq -0x18(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x78(%rbp), %rdx
callq 0x179f0
movq %rax, -0x168(%rbp)
jmp 0x159fb
leaq -0x99(%rbp), %rdi
movq %rdi, -0x170(%rbp)
callq 0x6810
movq -0x170(%rbp), %rdx
leaq 0x23775(%rip), %rsi     # 0x39191
leaq -0x98(%rbp), %rdi
callq 0x25b30
jmp 0x15a2a
movq -0x168(%rbp), %rdi
movq -0x10(%rbp), %rdx
addq $0x14, %rdx
leaq -0x98(%rbp), %rsi
callq 0x179f0
jmp 0x15a47
leaq -0x98(%rbp), %rdi
callq 0x6260
leaq -0x99(%rbp), %rdi
callq 0x64e0
leaq -0x70(%rbp), %rdi
callq 0x6260
leaq -0x71(%rbp), %rdi
callq 0x64e0
leaq -0x18(%rbp), %rdi
callq 0x17a70
leaq -0x38(%rbp), %rdi
callq 0x6260
leaq -0x39(%rbp), %rdi
callq 0x64e0
movq -0x148(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x180(%rbp)
leaq -0xc1(%rbp), %rdi
movq %rdi, -0x178(%rbp)
callq 0x6810
movq -0x178(%rbp), %rdx
leaq 0x234cf(%rip), %rsi     # 0x38f8e
leaq -0xc0(%rbp), %rdi
callq 0x25b30
jmp 0x15acd
movq -0x180(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x17cc0
movq %rax, -0x188(%rbp)
jmp 0x15ae9
leaq -0xe9(%rbp), %rdi
movq %rdi, -0x190(%rbp)
callq 0x6810
movq -0x190(%rbp), %rdx
leaq 0x23639(%rip), %rsi     # 0x39143
leaq -0xe8(%rbp), %rdi
callq 0x25b30
jmp 0x15b18
movq -0x188(%rbp), %rdi
movq -0x10(%rbp), %rcx
movl 0x4(%rcx), %eax
movl 0xc(%rcx), %ecx
subl %ecx, %eax
movl %eax, -0xf0(%rbp)
leaq -0xe8(%rbp), %rsi
leaq -0xf0(%rbp), %rdx
callq 0x18820
movq %rax, -0x198(%rbp)
jmp 0x15b4d
leaq -0x111(%rbp), %rdi
movq %rdi, -0x1a0(%rbp)
callq 0x6810
movq -0x1a0(%rbp), %rdx
leaq 0x23623(%rip), %rsi     # 0x39191
leaq -0x110(%rbp), %rdi
callq 0x25b30
jmp 0x15b7c
movq -0x198(%rbp), %rdi
movq -0x10(%rbp), %rdx
addq $0xc, %rdx
leaq -0x110(%rbp), %rsi
callq 0x18820
jmp 0x15b99
leaq -0x110(%rbp), %rdi
callq 0x6260
leaq -0x111(%rbp), %rdi
callq 0x64e0
leaq -0xe8(%rbp), %rdi
callq 0x6260
leaq -0xe9(%rbp), %rdi
callq 0x64e0
leaq -0xc0(%rbp), %rdi
callq 0x6260
leaq -0xc1(%rbp), %rdi
callq 0x64e0
movq -0x148(%rbp), %rax
movq 0x78(%rax), %rax
movb 0x7f(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x15dfa
movq -0x148(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x1b0(%rbp)
leaq -0x139(%rbp), %rdi
movq %rdi, -0x1a8(%rbp)
callq 0x6810
movq -0x1a8(%rbp), %rdx
leaq 0x2470e(%rip), %rsi     # 0x3a33e
leaq -0x138(%rbp), %rdi
callq 0x25b30
jmp 0x15c3e
movq -0x1b0(%rbp), %rdi
movq -0x10(%rbp), %rcx
movl (%rcx), %eax
movl 0x4(%rcx), %ecx
subl %ecx, %eax
movl %eax, -0x140(%rbp)
leaq -0x138(%rbp), %rsi
leaq -0x140(%rbp), %rdx
callq 0x18820
jmp 0x15c6b
leaq -0x138(%rbp), %rdi
callq 0x6260
leaq -0x139(%rbp), %rdi
callq 0x64e0
jmp 0x15dfa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15d19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15d10
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15cfe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15cf5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15ce9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x98(%rbp), %rdi
callq 0x6260
leaq -0x99(%rbp), %rdi
callq 0x64e0
leaq -0x70(%rbp), %rdi
callq 0x6260
leaq -0x71(%rbp), %rdi
callq 0x64e0
leaq -0x18(%rbp), %rdi
callq 0x17a70
leaq -0x38(%rbp), %rdi
callq 0x6260
leaq -0x39(%rbp), %rdi
callq 0x64e0
jmp 0x15e23
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15db8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15dac
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15da0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15d94
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15d88
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x110(%rbp), %rdi
callq 0x6260
leaq -0x111(%rbp), %rdi
callq 0x64e0
leaq -0xe8(%rbp), %rdi
callq 0x6260
leaq -0xe9(%rbp), %rdi
callq 0x64e0
leaq -0xc0(%rbp), %rdi
callq 0x6260
leaq -0xc1(%rbp), %rdi
callq 0x64e0
jmp 0x15e23
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x15dec
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x138(%rbp), %rdi
callq 0x6260
leaq -0x139(%rbp), %rdi
callq 0x64e0
jmp 0x15e23
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
callq 0x17ba0
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
callq 0x17ba0
addq $0x1b0, %rsp            # imm = 0x1B0
popq %rbp
retq
movq -0x48(%rbp), %rdi
callq 0x6800
nopl (%rax)