// File: /workspace/github_cpp_makefile_star2_O3/ahupowerdns[P]mcounter/./ext/doctest.h
// Function: doctest::(anonymous namespace)::ConsoleReporter::test_run_end(doctest::TestRunStats const&)
void test_run_end(const TestRunStats& p) override {
            if(opt.minimal && p.numTestCasesFailed == 0)
                return;

            separator_to_stream();
            s << std::dec;

            auto totwidth = int(std::ceil(log10((std::max(p.numTestCasesPassingFilters, static_cast<unsigned>(p.numAsserts))) + 1)));
            auto passwidth = int(std::ceil(log10((std::max(p.numTestCasesPassingFilters - p.numTestCasesFailed, static_cast<unsigned>(p.numAsserts - p.numAssertsFailed))) + 1)));
            auto failwidth = int(std::ceil(log10((std::max(p.numTestCasesFailed, static_cast<unsigned>(p.numAssertsFailed))) + 1)));
            const bool anythingFailed = p.numTestCasesFailed > 0 || p.numAssertsFailed > 0;
            s << Color::Cyan << "[doctest] " << Color::None << "test cases: " << std::setw(totwidth)
              << p.numTestCasesPassingFilters << " | "
              << ((p.numTestCasesPassingFilters == 0 || anythingFailed) ? Color::None :
                                                                          Color::Green)
              << std::setw(passwidth) << p.numTestCasesPassingFilters - p.numTestCasesFailed << " passed"
              << Color::None << " | " << (p.numTestCasesFailed > 0 ? Color::Red : Color::None)
              << std::setw(failwidth) << p.numTestCasesFailed << " failed" << Color::None << " |";
            if(opt.no_skipped_summary == false) {
                const int numSkipped = p.numTestCases - p.numTestCasesPassingFilters;
                s << " " << (numSkipped == 0 ? Color::None : Color::Yellow) << numSkipped
                  << " skipped" << Color::None;
            }
            s << "\n";
            s << Color::Cyan << "[doctest] " << Color::None << "assertions: " << std::setw(totwidth)
              << p.numAsserts << " | "
              << ((p.numAsserts == 0 || anythingFailed) ? Color::None : Color::Green)
              << std::setw(passwidth) << (p.numAsserts - p.numAssertsFailed) << " passed" << Color::None
              << " | " << (p.numAssertsFailed > 0 ? Color::Red : Color::None) << std::setw(failwidth)
              << p.numAssertsFailed << " failed" << Color::None << " |\n";
            s << Color::Cyan << "[doctest] " << Color::None
              << "Status: " << (p.numTestCasesFailed > 0 ? Color::Red : Color::Green)
              << ((p.numTestCasesFailed > 0) ? "FAILURE!" : "SUCCESS!") << Color::None << std::endl;
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %rbx
movq %rdi, %r14
movq 0x60(%rdi), %rax
cmpb $0x1, 0x70(%rax)
jne 0x14d57
cmpl $0x0, 0xc(%rbx)
jne 0x14d57
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8(%r14), %r12
movq %r12, %rdi
movl $0x6, %esi
callq 0x6904
leaq 0x83ca(%rip), %rsi      # 0x1d139
movl $0x50, %edx
movq %r12, %rdi
callq 0x5410
movq 0x8(%r14), %rax
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x2, %edx
movl %edx, 0x18(%rax,%rcx)
movl 0x4(%rbx), %eax
movl 0x10(%rbx), %ecx
cmpl %ecx, %eax
cmoval %eax, %ecx
incl %ecx
cvtsi2sd %rcx, %xmm0
callq 0x51b0
callq 0x5080
cvttsd2si %xmm0, %r13d
movl 0x4(%rbx), %eax
movl 0x10(%rbx), %ecx
subl 0xc(%rbx), %eax
subl 0x14(%rbx), %ecx
cmpl %ecx, %eax
cmoval %eax, %ecx
incl %ecx
xorps %xmm0, %xmm0
cvtsi2sd %rcx, %xmm0
callq 0x51b0
callq 0x5080
cvttsd2si %xmm0, %r15d
movl 0xc(%rbx), %eax
movl 0x14(%rbx), %ecx
cmpl %ecx, %eax
cmoval %eax, %ecx
incl %ecx
xorps %xmm0, %xmm0
cvtsi2sd %rcx, %xmm0
callq 0x51b0
callq 0x5080
cvttsd2si %xmm0, %eax
movl %eax, (%rsp)
cmpl $0x0, 0xc(%rbx)
setne %al
cmpl $0x0, 0x14(%rbx)
setg %bpl
orb %al, %bpl
xorb $0x1, %bpl
movq 0x8(%r14), %r12
movq %r12, %rdi
movl $0x5, %esi
callq 0x6904
leaq 0x7cdc(%rip), %rsi      # 0x1cb10
movl $0xa, %edx
movq %r12, %rdi
callq 0x5410
movq %r12, %rdi
xorl %esi, %esi
callq 0x6904
leaq 0x8357(%rip), %rsi      # 0x1d1a9
movl $0xc, %edx
movq %r12, %rdi
callq 0x5410
movq (%r12), %rax
movq -0x18(%rax), %rax
movslq %r13d, %rcx
movq %rcx, 0x10(%rsp)
movq %rcx, 0x10(%r12,%rax)
movl 0x4(%rbx), %esi
movq %r12, %rdi
callq 0x5250
movq %rax, %r13
leaq 0x832d(%rip), %r12      # 0x1d1b6
movl $0x3, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x5410
cmpl $0x0, 0x4(%rbx)
setne %al
andb %bpl, %al
movzbl %al, %eax
leal (%rax,%rax,2), %esi
movq %r13, %rdi
callq 0x6904
movq (%r13), %rax
movq -0x18(%rax), %rax
movslq %r15d, %rcx
movq %rcx, 0x8(%rsp)
movq %rcx, 0x10(%r13,%rax)
movl 0x4(%rbx), %esi
subl 0xc(%rbx), %esi
movq %r13, %rdi
callq 0x5250
movq %rax, %r13
leaq 0x82dc(%rip), %rsi      # 0x1d1ba
movl $0x7, %edx
movq %rax, %rdi
callq 0x5410
movq %r13, %rdi
xorl %esi, %esi
callq 0x6904
movl $0x3, %edx
movq %r13, %rdi
movq %r12, %rsi
callq 0x5410
xorl %esi, %esi
cmpl $0x0, 0xc(%rbx)
setne %sil
addl %esi, %esi
movq %r13, %rdi
callq 0x6904
movq (%r13), %rax
movq -0x18(%rax), %rax
movslq (%rsp), %rcx
movq %rcx, (%rsp)
movq %rcx, 0x10(%r13,%rax)
movl 0xc(%rbx), %esi
movq %r13, %rdi
callq 0x5250
movq %rax, %r12
leaq 0x827f(%rip), %rsi      # 0x1d1c2
movl $0x7, %edx
movq %rax, %rdi
callq 0x5410
movq %r12, %rdi
xorl %esi, %esi
callq 0x6904
leaq 0x8269(%rip), %rsi      # 0x1d1ca
movl $0x2, %edx
movq %r12, %rdi
callq 0x5410
movq 0x60(%r14), %rax
cmpb $0x0, 0x7f(%rax)
jne 0x14fdd
movl (%rbx), %r12d
movq 0x8(%r14), %r13
leaq 0x7510(%rip), %rsi      # 0x1c496
subl 0x4(%rbx), %r12d
movl $0x0, %eax
movl $0x6, %r15d
cmovel %eax, %r15d
movl $0x1, %edx
movq %r13, %rdi
callq 0x5410
movq %r13, %rdi
movl %r15d, %esi
callq 0x6904
movq %r13, %rdi
movl %r12d, %esi
callq 0x55f0
movq %rax, %r15
leaq 0x8207(%rip), %rsi      # 0x1d1cd
movl $0x8, %edx
movq %rax, %rdi
callq 0x5410
movq %r15, %rdi
xorl %esi, %esi
callq 0x6904
movq 0x8(%r14), %rdi
leaq 0x7b79(%rip), %rsi      # 0x1cb61
movl $0x1, %edx
callq 0x5410
movq 0x8(%r14), %r12
movq %r12, %rdi
movl $0x5, %esi
callq 0x6904
leaq 0x7b06(%rip), %r15      # 0x1cb10
movl $0xa, %edx
movq %r12, %rdi
movq %r15, %rsi
callq 0x5410
movq %r12, %rdi
xorl %esi, %esi
callq 0x6904
leaq 0x81ab(%rip), %rsi      # 0x1d1d6
movl $0xc, %edx
movq %r12, %rdi
callq 0x5410
movq (%r12), %rax
movq -0x18(%rax), %rax
movq 0x10(%rsp), %rcx
movq %rcx, 0x10(%r12,%rax)
movl 0x10(%rbx), %esi
movq %r12, %rdi
callq 0x55f0
movq %rax, %r13
leaq 0x8157(%rip), %r12      # 0x1d1b6
movl $0x3, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x5410
cmpl $0x0, 0x10(%rbx)
setne %al
andb %bpl, %al
movzbl %al, %eax
leal (%rax,%rax,2), %esi
movq %r13, %rdi
callq 0x6904
movq (%r13), %rax
movq -0x18(%rax), %rax
movq 0x8(%rsp), %rcx
movq %rcx, 0x10(%r13,%rax)
movl 0x10(%rbx), %esi
subl 0x14(%rbx), %esi
movq %r13, %rdi
callq 0x55f0
movq %rax, %r13
leaq 0x8109(%rip), %rsi      # 0x1d1ba
movl $0x7, %edx
movq %rax, %rdi
callq 0x5410
movq %r13, %rdi
xorl %esi, %esi
callq 0x6904
movl $0x3, %edx
movq %r13, %rdi
movq %r12, %rsi
callq 0x5410
xorl %esi, %esi
cmpl $0x0, 0x14(%rbx)
setg %sil
addl %esi, %esi
movq %r13, %rdi
callq 0x6904
movq (%r13), %rax
movq -0x18(%rax), %rax
movq (%rsp), %rcx
movq %rcx, 0x10(%r13,%rax)
movl 0x14(%rbx), %esi
movq %r13, %rdi
callq 0x55f0
movq %rax, %r12
leaq 0x80b0(%rip), %rsi      # 0x1d1c2
movl $0x7, %edx
movq %rax, %rdi
callq 0x5410
movq %r12, %rdi
xorl %esi, %esi
callq 0x6904
leaq 0x80b3(%rip), %rsi      # 0x1d1e3
movl $0x3, %edx
movq %r12, %rdi
callq 0x5410
movq 0x8(%r14), %r14
movq %r14, %rdi
movl $0x5, %esi
callq 0x6904
movl $0xa, %edx
movq %r14, %rdi
movq %r15, %rsi
callq 0x5410
movq %r14, %rdi
xorl %esi, %esi
callq 0x6904
leaq 0x8078(%rip), %rsi      # 0x1d1e7
movl $0x8, %edx
movq %r14, %rdi
callq 0x5410
cmpl $0x1, 0xc(%rbx)
movl $0x0, %esi
adcl $0x2, %esi
movq %r14, %rdi
callq 0x6904
cmpl $0x0, 0xc(%rbx)
leaq 0x805e(%rip), %rax      # 0x1d1f9
leaq 0x804e(%rip), %rsi      # 0x1d1f0
cmoveq %rax, %rsi
movl $0x8, %edx
movq %r14, %rdi
callq 0x5410
movq %r14, %rdi
xorl %esi, %esi
callq 0x6904
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x5390
movsbl %al, %esi
movq %r14, %rdi
callq 0x5040
movq %rax, %rdi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x5260