// File: ahupowerdns[P]mcounter/./ext/doctest.h
// Function: doctest::(anonymous namespace)::XmlReporter::test_case_end(doctest::CurrentTestCaseStats const&)
void test_case_end(const CurrentTestCaseStats& st) override {
            xml.startElement("OverallResultsAsserts")
                    .writeAttribute("successes",
                                    st.numAssertsCurrentTest - st.numAssertsFailedCurrentTest)
                    .writeAttribute("failures", st.numAssertsFailedCurrentTest)
                    .writeAttribute("test_case_success", st.testCaseSuccess);
            if(opt.duration)
                xml.writeAttribute("duration", st.seconds);
            if(tc->m_expected_failures)
                xml.writeAttribute("expected_failures", tc->m_expected_failures);
            xml.endElement();

            xml.endElement();
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x180, %rsp            # imm = 0x180
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x128(%rbp)
addq $0x8, %rax
movq %rax, -0x120(%rbp)
leaq -0x31(%rbp), %rdi
movq %rdi, -0x118(%rbp)
callq 0x6810
movq -0x118(%rbp), %rdx
leaq 0x23266(%rip), %rsi     # 0x3912d
leaq -0x30(%rbp), %rdi
callq 0x25b30
jmp 0x15ed2
movq -0x120(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x17cc0
movq %rax, -0x130(%rbp)
jmp 0x15eeb
leaq -0x69(%rbp), %rdi
movq %rdi, -0x138(%rbp)
callq 0x6810
movq -0x138(%rbp), %rdx
leaq 0x2323a(%rip), %rsi     # 0x39143
leaq -0x68(%rbp), %rdi
callq 0x25b30
jmp 0x15f14
movq -0x130(%rbp), %rdi
movq -0x10(%rbp), %rcx
movl (%rcx), %eax
movl 0x4(%rcx), %ecx
subl %ecx, %eax
movl %eax, -0x70(%rbp)
leaq -0x68(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0x17de0
movq %rax, -0x140(%rbp)
jmp 0x15f3f
leaq -0x91(%rbp), %rdi
movq %rdi, -0x148(%rbp)
callq 0x6810
movq -0x148(%rbp), %rdx
leaq 0x23231(%rip), %rsi     # 0x39191
leaq -0x90(%rbp), %rdi
callq 0x25b30
jmp 0x15f6e
movq -0x140(%rbp), %rdi
movq -0x10(%rbp), %rdx
addq $0x4, %rdx
leaq -0x90(%rbp), %rsi
callq 0x17de0
movq %rax, -0x150(%rbp)
jmp 0x15f92
leaq -0xb9(%rbp), %rdi
movq %rdi, -0x158(%rbp)
callq 0x6810
movq -0x158(%rbp), %rdx
leaq 0x231c3(%rip), %rsi     # 0x39176
leaq -0xb8(%rbp), %rdi
callq 0x25b30
jmp 0x15fc1
movq -0x150(%rbp), %rdi
movq -0x10(%rbp), %rax
movzbl 0x14(%rax), %edx
andl $0x1, %edx
leaq -0xb8(%rbp), %rsi
callq 0x18920
jmp 0x15fe1
leaq -0xb8(%rbp), %rdi
callq 0x6260
leaq -0xb9(%rbp), %rdi
callq 0x64e0
leaq -0x90(%rbp), %rdi
callq 0x6260
leaq -0x91(%rbp), %rdi
callq 0x64e0
leaq -0x68(%rbp), %rdi
callq 0x6260
leaq -0x69(%rbp), %rdi
callq 0x64e0
leaq -0x30(%rbp), %rdi
callq 0x6260
leaq -0x31(%rbp), %rdi
callq 0x64e0
movq -0x128(%rbp), %rax
movq 0x78(%rax), %rax
testb $0x1, 0x6f(%rax)
je 0x161c9
movq -0x128(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x168(%rbp)
leaq -0xe1(%rbp), %rdi
movq %rdi, -0x160(%rbp)
callq 0x6810
movq -0x160(%rbp), %rdx
leaq 0x2282c(%rip), %rsi     # 0x388a9
leaq -0xe0(%rbp), %rdi
callq 0x25b30
jmp 0x1608b
movq -0x168(%rbp), %rdi
movq -0x10(%rbp), %rdx
addq $0x8, %rdx
leaq -0xe0(%rbp), %rsi
callq 0x19120
jmp 0x160a8
leaq -0xe0(%rbp), %rdi
callq 0x6260
leaq -0xe1(%rbp), %rdi
callq 0x64e0
jmp 0x161c9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x16184
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x1617b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x16172
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x16169
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x1615d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x16151
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x16145
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x6260
leaq -0xb9(%rbp), %rdi
callq 0x64e0
leaq -0x90(%rbp), %rdi
callq 0x6260
leaq -0x91(%rbp), %rdi
callq 0x64e0
leaq -0x68(%rbp), %rdi
callq 0x6260
leaq -0x69(%rbp), %rdi
callq 0x64e0
leaq -0x30(%rbp), %rdi
callq 0x6260
leaq -0x31(%rbp), %rdi
callq 0x64e0
jmp 0x162c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x161b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x6260
leaq -0xe1(%rbp), %rdi
callq 0x64e0
jmp 0x162c0
movq -0x128(%rbp), %rax
movq 0x80(%rax), %rax
cmpl $0x0, 0x40(%rax)
je 0x16297
movq -0x128(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x178(%rbp)
leaq -0x109(%rbp), %rdi
movq %rdi, -0x170(%rbp)
callq 0x6810
movq -0x170(%rbp), %rdx
leaq 0x22f74(%rip), %rsi     # 0x39188
leaq -0x108(%rbp), %rdi
callq 0x25b30
jmp 0x16222
movq -0x178(%rbp), %rdi
movq -0x128(%rbp), %rax
movq 0x80(%rax), %rdx
addq $0x40, %rdx
leaq -0x108(%rbp), %rsi
callq 0x17de0
jmp 0x16249
leaq -0x108(%rbp), %rdi
callq 0x6260
leaq -0x109(%rbp), %rdi
callq 0x64e0
jmp 0x16297
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x16289
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x108(%rbp), %rdi
callq 0x6260
leaq -0x109(%rbp), %rdi
callq 0x64e0
jmp 0x162c0
movq -0x128(%rbp), %rdi
addq $0x8, %rdi
callq 0x17ba0
movq -0x128(%rbp), %rdi
addq $0x8, %rdi
callq 0x17ba0
addq $0x180, %rsp            # imm = 0x180
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0x6800
nopl (%rax)