// File: xelia-it[P]mustache/third-party/catch2/single_include/catch2/catch.hpp
// Function: Catch::(anonymous namespace)::printTotals(std::ostream&, Catch::Totals const&)
void printTotals(std::ostream& out, const Totals& totals) {
    if (totals.testCases.total() == 0) {
        out << "No tests ran.";
    } else if (totals.testCases.failed == totals.testCases.total()) {
        Colour colour(Colour::ResultError);
        const std::string qualify_assertions_failed =
            totals.assertions.failed == totals.assertions.total() ?
            bothOrAll(totals.assertions.failed) : std::string();
        out <<
            "Failed " << bothOrAll(totals.testCases.failed)
            << pluralise(totals.testCases.failed, "test case") << ", "
            "failed " << qualify_assertions_failed <<
            pluralise(totals.assertions.failed, "assertion") << '.';
    } else if (totals.assertions.total() == 0) {
        out <<
            "Passed " << bothOrAll(totals.testCases.total())
            << pluralise(totals.testCases.total(), "test case")
            << " (no assertions).";
    } else if (totals.assertions.failed) {
        Colour colour(Colour::ResultError);
        out <<
            "Failed " << pluralise(totals.testCases.failed, "test case") << ", "
            "failed " << pluralise(totals.assertions.failed, "assertion") << '.';
    } else {
        Colour colour(Colour::ResultSuccess);
        out <<
            "Passed " << bothOrAll(totals.testCases.passed)
            << pluralise(totals.testCases.passed, "test case") <<
            " with " << pluralise(totals.assertions.passed, "assertion") << '.';
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x3f0, %rsp            # imm = 0x3F0
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rdi
addq $0x20, %rdi
callq 0x645a0
cmpq $0x0, %rax
jne 0x7075b
movq -0x8(%rbp), %rdi
leaq 0xd0858(%rip), %rsi     # 0x140fa9
callq 0x52710
jmp 0x71176
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq %rax, -0x2e0(%rbp)
movq -0x10(%rbp), %rdi
addq $0x20, %rdi
callq 0x645a0
movq %rax, %rcx
movq -0x2e0(%rbp), %rax
cmpq %rcx, %rax
jne 0x70ab2
leaq -0x11(%rbp), %rdi
movl $0x12, %esi
callq 0x5aea0
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x2e8(%rbp)
movq -0x10(%rbp), %rdi
addq $0x8, %rdi
callq 0x645a0
movq %rax, %rcx
movq -0x2e8(%rbp), %rax
cmpq %rcx, %rax
jne 0x707d8
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rsi
leaq -0x38(%rbp), %rdi
callq 0x7ce60
jmp 0x707d6
jmp 0x707e1
leaq -0x38(%rbp), %rdi
callq 0x52a00
movq -0x8(%rbp), %rdi
leaq 0xd07cb(%rip), %rsi     # 0x140fb7
callq 0x52710
movq %rax, -0x2f0(%rbp)
jmp 0x707fa
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rsi
leaq -0x68(%rbp), %rdi
callq 0x7ce60
jmp 0x7080d
movq -0x2f0(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0x52670
movq %rax, -0x2f8(%rbp)
jmp 0x70826
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq %rax, -0x308(%rbp)
leaq -0xb1(%rbp), %rdi
movq %rdi, -0x300(%rbp)
callq 0x52ca0
movq -0x300(%rbp), %rdx
leaq 0xce964(%rip), %rsi     # 0x13f1ba
leaq -0xb0(%rbp), %rdi
callq 0x529e0
jmp 0x70864
movq -0x308(%rbp), %rsi
leaq -0x90(%rbp), %rdi
leaq -0xb0(%rbp), %rdx
callq 0x68340
jmp 0x70880
movq -0x2f8(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x5de70
movq %rax, -0x310(%rbp)
jmp 0x7089c
movq -0x310(%rbp), %rdi
leaq 0xd0715(%rip), %rsi     # 0x140fbf
callq 0x52710
movq %rax, -0x318(%rbp)
jmp 0x708b8
movq -0x318(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x52670
movq %rax, -0x320(%rbp)
jmp 0x708d1
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x330(%rbp)
leaq -0x101(%rbp), %rdi
movq %rdi, -0x328(%rbp)
callq 0x52ca0
movq -0x328(%rbp), %rdx
leaq 0xcf3dd(%rip), %rsi     # 0x13fcde
leaq -0x100(%rbp), %rdi
callq 0x529e0
jmp 0x7090f
movq -0x330(%rbp), %rsi
leaq -0xe0(%rbp), %rdi
leaq -0x100(%rbp), %rdx
callq 0x68340
jmp 0x7092b
movq -0x320(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x5de70
movq %rax, -0x338(%rbp)
jmp 0x70947
movq -0x338(%rbp), %rdi
movl $0x2e, %esi
callq 0x52870
jmp 0x7095a
leaq -0xe0(%rbp), %rdi
callq 0x8d610
leaq -0x100(%rbp), %rdi
callq 0x52e58
leaq -0x101(%rbp), %rdi
callq 0x527d0
leaq -0x90(%rbp), %rdi
callq 0x8d610
leaq -0xb0(%rbp), %rdi
callq 0x52e58
leaq -0xb1(%rbp), %rdi
callq 0x527d0
leaq -0x68(%rbp), %rdi
callq 0x52e58
leaq -0x38(%rbp), %rdi
callq 0x52e58
leaq -0x11(%rbp), %rdi
callq 0x5afc0
jmp 0x71174
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70aa4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70a9b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70a92
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70a86
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70a7a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70a6e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70a62
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70a56
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x8d610
leaq -0x100(%rbp), %rdi
callq 0x52e58
leaq -0x101(%rbp), %rdi
callq 0x527d0
leaq -0x90(%rbp), %rdi
callq 0x8d610
leaq -0xb0(%rbp), %rdi
callq 0x52e58
leaq -0xb1(%rbp), %rdi
callq 0x527d0
leaq -0x68(%rbp), %rdi
callq 0x52e58
leaq -0x38(%rbp), %rdi
callq 0x52e58
leaq -0x11(%rbp), %rdi
callq 0x5afc0
jmp 0x7117f
movq -0x10(%rbp), %rdi
addq $0x8, %rdi
callq 0x645a0
cmpq $0x0, %rax
jne 0x70c4f
movq -0x8(%rbp), %rdi
leaq 0xd04f5(%rip), %rsi     # 0x140fc9
callq 0x52710
movq %rax, -0x350(%rbp)
movq -0x10(%rbp), %rdi
addq $0x20, %rdi
callq 0x645a0
movq %rax, %rsi
leaq -0x128(%rbp), %rdi
movq %rdi, -0x348(%rbp)
callq 0x7ce60
movq -0x350(%rbp), %rdi
movq -0x348(%rbp), %rsi
callq 0x52670
movq %rax, -0x340(%rbp)
jmp 0x70b1f
movq -0x10(%rbp), %rdi
addq $0x20, %rdi
callq 0x645a0
movq %rax, -0x360(%rbp)
leaq -0x171(%rbp), %rdi
movq %rdi, -0x358(%rbp)
callq 0x52ca0
movq -0x358(%rbp), %rdx
leaq 0xce666(%rip), %rsi     # 0x13f1ba
leaq -0x170(%rbp), %rdi
callq 0x529e0
jmp 0x70b62
movq -0x360(%rbp), %rsi
leaq -0x150(%rbp), %rdi
leaq -0x170(%rbp), %rdx
callq 0x68340
jmp 0x70b7e
movq -0x340(%rbp), %rdi
leaq -0x150(%rbp), %rsi
callq 0x5de70
movq %rax, -0x368(%rbp)
jmp 0x70b9a
movq -0x368(%rbp), %rdi
leaq 0xd0429(%rip), %rsi     # 0x140fd1
callq 0x52710
jmp 0x70baf
leaq -0x150(%rbp), %rdi
callq 0x8d610
leaq -0x170(%rbp), %rdi
callq 0x52e58
leaq -0x171(%rbp), %rdi
callq 0x527d0
leaq -0x128(%rbp), %rdi
callq 0x52e58
jmp 0x71172
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70c3e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70c32
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70c26
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x150(%rbp), %rdi
callq 0x8d610
leaq -0x170(%rbp), %rdi
callq 0x52e58
leaq -0x171(%rbp), %rdi
callq 0x527d0
leaq -0x128(%rbp), %rdi
callq 0x52e58
jmp 0x7117f
movq -0x10(%rbp), %rax
cmpq $0x0, 0x10(%rax)
je 0x70ebb
leaq -0x172(%rbp), %rdi
movl $0x12, %esi
callq 0x5aea0
movq -0x8(%rbp), %rdi
leaq 0xd033d(%rip), %rsi     # 0x140fb7
callq 0x52710
movq %rax, -0x370(%rbp)
jmp 0x70c88
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq %rax, -0x380(%rbp)
leaq -0x1c1(%rbp), %rdi
movq %rdi, -0x378(%rbp)
callq 0x52ca0
movq -0x378(%rbp), %rdx
leaq 0xce502(%rip), %rsi     # 0x13f1ba
leaq -0x1c0(%rbp), %rdi
callq 0x529e0
jmp 0x70cc6
movq -0x380(%rbp), %rsi
leaq -0x1a0(%rbp), %rdi
leaq -0x1c0(%rbp), %rdx
callq 0x68340
jmp 0x70ce2
movq -0x370(%rbp), %rdi
leaq -0x1a0(%rbp), %rsi
callq 0x5de70
movq %rax, -0x388(%rbp)
jmp 0x70cfe
movq -0x388(%rbp), %rdi
leaq 0xd02b3(%rip), %rsi     # 0x140fbf
callq 0x52710
movq %rax, -0x390(%rbp)
jmp 0x70d1a
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x3a0(%rbp)
leaq -0x211(%rbp), %rdi
movq %rdi, -0x398(%rbp)
callq 0x52ca0
movq -0x398(%rbp), %rdx
leaq 0xcef94(%rip), %rsi     # 0x13fcde
leaq -0x210(%rbp), %rdi
callq 0x529e0
jmp 0x70d58
movq -0x3a0(%rbp), %rsi
leaq -0x1f0(%rbp), %rdi
leaq -0x210(%rbp), %rdx
callq 0x68340
jmp 0x70d74
movq -0x390(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0x5de70
movq %rax, -0x3a8(%rbp)
jmp 0x70d90
movq -0x3a8(%rbp), %rdi
movl $0x2e, %esi
callq 0x52870
jmp 0x70da3
leaq -0x1f0(%rbp), %rdi
callq 0x8d610
leaq -0x210(%rbp), %rdi
callq 0x52e58
leaq -0x211(%rbp), %rdi
callq 0x527d0
leaq -0x1a0(%rbp), %rdi
callq 0x8d610
leaq -0x1c0(%rbp), %rdi
callq 0x52e58
leaq -0x1c1(%rbp), %rdi
callq 0x527d0
leaq -0x172(%rbp), %rdi
callq 0x5afc0
jmp 0x71170
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70eaa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70e9e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70e92
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70e86
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70e7a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x70e6e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1f0(%rbp), %rdi
callq 0x8d610
leaq -0x210(%rbp), %rdi
callq 0x52e58
leaq -0x211(%rbp), %rdi
callq 0x527d0
leaq -0x1a0(%rbp), %rdi
callq 0x8d610
leaq -0x1c0(%rbp), %rdi
callq 0x52e58
leaq -0x1c1(%rbp), %rdi
callq 0x527d0
leaq -0x172(%rbp), %rdi
callq 0x5afc0
jmp 0x7117f
leaq -0x212(%rbp), %rdi
movl $0x13, %esi
callq 0x5aea0
movq -0x8(%rbp), %rdi
leaq 0xd00f2(%rip), %rsi     # 0x140fc9
callq 0x52710
movq %rax, -0x3b0(%rbp)
jmp 0x70ee5
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rsi
leaq -0x238(%rbp), %rdi
callq 0x7ce60
jmp 0x70efb
movq -0x3b0(%rbp), %rdi
leaq -0x238(%rbp), %rsi
callq 0x52670
movq %rax, -0x3b8(%rbp)
jmp 0x70f17
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x3c8(%rbp)
leaq -0x281(%rbp), %rdi
movq %rdi, -0x3c0(%rbp)
callq 0x52ca0
movq -0x3c0(%rbp), %rdx
leaq 0xce273(%rip), %rsi     # 0x13f1ba
leaq -0x280(%rbp), %rdi
callq 0x529e0
jmp 0x70f55
movq -0x3c8(%rbp), %rsi
leaq -0x260(%rbp), %rdi
leaq -0x280(%rbp), %rdx
callq 0x68340
jmp 0x70f71
movq -0x3b8(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0x5de70
movq %rax, -0x3d0(%rbp)
jmp 0x70f8d
movq -0x3d0(%rbp), %rdi
leaq 0xd669b(%rip), %rsi     # 0x147636
callq 0x52710
movq %rax, -0x3d8(%rbp)
jmp 0x70fa9
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x3e8(%rbp)
leaq -0x2d1(%rbp), %rdi
movq %rdi, -0x3e0(%rbp)
callq 0x52ca0
movq -0x3e0(%rbp), %rdx
leaq 0xced05(%rip), %rsi     # 0x13fcde
leaq -0x2d0(%rbp), %rdi
callq 0x529e0
jmp 0x70fe7
movq -0x3e8(%rbp), %rsi
leaq -0x2b0(%rbp), %rdi
leaq -0x2d0(%rbp), %rdx
callq 0x68340
jmp 0x71003
movq -0x3d8(%rbp), %rdi
leaq -0x2b0(%rbp), %rsi
callq 0x5de70
movq %rax, -0x3f0(%rbp)
jmp 0x7101f
movq -0x3f0(%rbp), %rdi
movl $0x2e, %esi
callq 0x52870
jmp 0x71032
leaq -0x2b0(%rbp), %rdi
callq 0x8d610
leaq -0x2d0(%rbp), %rdi
callq 0x52e58
leaq -0x2d1(%rbp), %rdi
callq 0x527d0
leaq -0x260(%rbp), %rdi
callq 0x8d610
leaq -0x280(%rbp), %rdi
callq 0x52e58
leaq -0x281(%rbp), %rdi
callq 0x527d0
leaq -0x238(%rbp), %rdi
callq 0x52e58
leaq -0x212(%rbp), %rdi
callq 0x5afc0
jmp 0x71170
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x71162
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x71156
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x7114a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x7113e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x71132
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x71126
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x7111a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x2b0(%rbp), %rdi
callq 0x8d610
leaq -0x2d0(%rbp), %rdi
callq 0x52e58
leaq -0x2d1(%rbp), %rdi
callq 0x527d0
leaq -0x260(%rbp), %rdi
callq 0x8d610
leaq -0x280(%rbp), %rdi
callq 0x52e58
leaq -0x281(%rbp), %rdi
callq 0x527d0
leaq -0x238(%rbp), %rdi
callq 0x52e58
leaq -0x212(%rbp), %rdi
callq 0x5afc0
jmp 0x7117f
jmp 0x71172
jmp 0x71174
jmp 0x71176
addq $0x3f0, %rsp            # imm = 0x3F0
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0x52c90
nopl (%rax,%rax)