// File: ahupowerdns[P]mcounter/./ext/doctest.h
// Function: doctest::(anonymous namespace)::JUnitReporter::log_assert(doctest::AssertData const&)
void log_assert(const AssertData& rb) override {
            if(!rb.m_failed) // report only failures & ignore the `success` option
                return;

            std::lock_guard<std::mutex> lock(mutex);

            std::ostringstream os;
            os << skipPathFromFilename(rb.m_file) << (opt.gnu_file_line ? ":" : "(")
              << line(rb.m_line) << (opt.gnu_file_line ? ":" : "):") << std::endl;

            fulltext_log_assert_to_stream(os, rb);
            log_contexts(os);
            testCaseData.addFailure(rb.m_decomp.c_str(), assertString(rb.m_at), os.str());
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x280, %rsp            # imm = 0x280
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x218(%rbp)
movq -0x10(%rbp), %rax
testb $0x1, 0x28(%rax)
jne 0x1ad5d
jmp 0x1afd2
movq -0x218(%rbp), %rsi
addq $0x50, %rsi
leaq -0x18(%rbp), %rdi
callq 0x226b0
leaq -0x190(%rbp), %rdi
callq 0x6640
jmp 0x1ad7f
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x8940
movq %rax, -0x220(%rbp)
jmp 0x1ad95
movq -0x220(%rbp), %rsi
leaq -0x190(%rbp), %rdi
callq 0x6450
movq %rax, -0x228(%rbp)
jmp 0x1adb1
movq -0x218(%rbp), %rax
movq 0xc0(%rax), %rax
testb $0x1, 0x7b(%rax)
je 0x1add5
leaq 0x1e4b0(%rip), %rax     # 0x3927c
movq %rax, -0x230(%rbp)
jmp 0x1ade5
leaq 0x1e49d(%rip), %rax     # 0x39279
movq %rax, -0x230(%rbp)
jmp 0x1ade5
movq -0x228(%rbp), %rdi
movq -0x230(%rbp), %rsi
callq 0x6450
movq %rax, -0x238(%rbp)
jmp 0x1ae01
movq -0x218(%rbp), %rdi
movq -0x10(%rbp), %rax
movl 0x18(%rax), %esi
callq 0x1d360
movl %eax, -0x23c(%rbp)
jmp 0x1ae1c
movl -0x23c(%rbp), %esi
movq -0x238(%rbp), %rdi
callq 0x6630
movq %rax, -0x248(%rbp)
jmp 0x1ae37
movq -0x248(%rbp), %rdi
movq -0x218(%rbp), %rax
movq 0xc0(%rax), %rax
movb 0x7b(%rax), %cl
leaq 0x1e426(%rip), %rax     # 0x3927c
leaq 0x1e41e(%rip), %rsi     # 0x3927b
testb $0x1, %cl
cmovneq %rax, %rsi
callq 0x6450
movq %rax, -0x250(%rbp)
jmp 0x1ae72
movq -0x250(%rbp), %rdi
movq 0x36120(%rip), %rsi     # 0x50fa0
callq 0x64c0
jmp 0x1ae87
movq -0x10(%rbp), %rsi
leaq -0x190(%rbp), %rdi
callq 0x1d390
jmp 0x1ae99
movq -0x218(%rbp), %rdi
leaq -0x190(%rbp), %rsi
callq 0x1d900
jmp 0x1aeae
movq -0x218(%rbp), %rax
addq $0x98, %rax
movq %rax, -0x260(%rbp)
movq -0x10(%rbp), %rdi
addq $0x48, %rdi
callq 0x20cd0
movq %rax, -0x258(%rbp)
jmp 0x1aed8
leaq -0x1c1(%rbp), %rdi
movq %rdi, -0x268(%rbp)
callq 0x6810
movq -0x258(%rbp), %rsi
movq -0x268(%rbp), %rdx
leaq -0x1c0(%rbp), %rdi
callq 0x25b30
jmp 0x1af07
movq -0x10(%rbp), %rax
movl 0x8(%rax), %edi
callq 0x8350
movq %rax, -0x278(%rbp)
leaq -0x1e9(%rbp), %rdi
movq %rdi, -0x270(%rbp)
callq 0x6810
movq -0x278(%rbp), %rsi
movq -0x270(%rbp), %rdx
leaq -0x1e8(%rbp), %rdi
callq 0x25b30
jmp 0x1af49
leaq -0x210(%rbp), %rdi
leaq -0x190(%rbp), %rsi
callq 0x6490
jmp 0x1af5e
movq -0x260(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x1e8(%rbp), %rdx
leaq -0x210(%rbp), %rcx
callq 0x1d9a0
jmp 0x1af81
leaq -0x210(%rbp), %rdi
callq 0x6260
leaq -0x1e8(%rbp), %rdi
callq 0x6260
leaq -0x1e9(%rbp), %rdi
callq 0x64e0
leaq -0x1c0(%rbp), %rdi
callq 0x6260
leaq -0x1c1(%rbp), %rdi
callq 0x64e0
leaq -0x190(%rbp), %rdi
callq 0x60f0
leaq -0x18(%rbp), %rdi
callq 0x227d0
addq $0x280, %rsp            # imm = 0x280
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x198(%rbp)
movl %eax, -0x19c(%rbp)
jmp 0x1b09f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x198(%rbp)
movl %eax, -0x19c(%rbp)
jmp 0x1b093
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x198(%rbp)
movl %eax, -0x19c(%rbp)
jmp 0x1b087
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x198(%rbp)
movl %eax, -0x19c(%rbp)
jmp 0x1b06f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x198(%rbp)
movl %eax, -0x19c(%rbp)
jmp 0x1b063
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x198(%rbp)
movl %eax, -0x19c(%rbp)
leaq -0x210(%rbp), %rdi
callq 0x6260
leaq -0x1e8(%rbp), %rdi
callq 0x6260
leaq -0x1e9(%rbp), %rdi
callq 0x64e0
leaq -0x1c0(%rbp), %rdi
callq 0x6260
leaq -0x1c1(%rbp), %rdi
callq 0x64e0
leaq -0x190(%rbp), %rdi
callq 0x60f0
leaq -0x18(%rbp), %rdi
callq 0x227d0
movq -0x198(%rbp), %rdi
callq 0x6800
nopw %cs:(%rax,%rax)