// File: /workspace/github_cpp_makefile_star2_O3/xelia-it[P]mustache/third-party/catch2/single_include/catch2/catch.hpp
// Function: Catch::ConsoleReporter::printTotals(Catch::Totals const&)
void ConsoleReporter::printTotals( Totals const& totals ) {
    if (totals.testCases.total() == 0) {
        stream << Colour(Colour::Warning) << "No tests ran\n";
    } else if (totals.assertions.total() > 0 && totals.testCases.allPassed()) {
        stream << Colour(Colour::ResultSuccess) << "All tests passed";
        stream << " ("
            << pluralise(totals.assertions.passed, "assertion") << " in "
            << pluralise(totals.testCases.passed, "test case") << ')'
            << '\n';
    } else {

        std::vector<SummaryColumn> columns;
        columns.push_back(SummaryColumn("", Colour::None)
                          .addRow(totals.testCases.total())
                          .addRow(totals.assertions.total()));
        columns.push_back(SummaryColumn("passed", Colour::Success)
                          .addRow(totals.testCases.passed)
                          .addRow(totals.assertions.passed));
        columns.push_back(SummaryColumn("failed", Colour::ResultError)
                          .addRow(totals.testCases.failed)
                          .addRow(totals.assertions.failed));
        columns.push_back(SummaryColumn("failed as expected", Colour::ResultExpectedFailure)
                          .addRow(totals.testCases.failedButOk)
                          .addRow(totals.assertions.failedButOk));

        printSummaryRow("test cases", columns, 0);
        printSummaryRow("assertions", columns, 1);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x168, %rsp            # imm = 0x168
movq %rdi, %rbx
movq 0x28(%rsi), %rax
movq 0x30(%rsi), %rcx
movq 0x20(%rsi), %rdx
addq %rax, %rdx
addq %rcx, %rdx
jne 0x35217
movq 0x18(%rbx), %rbx
leaq -0x70(%rbp), %rdi
movl $0x16, %esi
callq 0x23898
leaq 0x46960(%rip), %rsi     # 0x7bb5c
movl $0xd, %edx
movq %rbx, %rdi
callq 0x1b5e0
leaq -0x70(%rbp), %rdi
callq 0x23940
jmp 0x3594d
movq %rsi, %r14
orq %rax, %rcx
jne 0x353a6
movq 0x10(%r14), %rax
addq 0x8(%r14), %rax
xorl %ecx, %ecx
subq 0x18(%r14), %rcx
cmpq %rcx, %rax
je 0x353a6
movq 0x18(%rbx), %r15
leaq -0x70(%rbp), %rdi
movl $0x13, %esi
callq 0x23898
leaq 0x46917(%rip), %rsi     # 0x7bb6a
movl $0x10, %edx
movq %r15, %rdi
callq 0x1b5e0
leaq -0x70(%rbp), %rdi
callq 0x23940
movq 0x18(%rbx), %rbx
leaq 0x46907(%rip), %rsi     # 0x7bb7b
movl $0x2, %edx
movq %rbx, %rdi
callq 0x1b5e0
movq 0x8(%r14), %r15
leaq -0xa0(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x468e6(%rip), %rsi     # 0x7bb7e
leaq 0x468e8(%rip), %rdx     # 0x7bb87
leaq -0xb0(%rbp), %rdi
callq 0x431c8
leaq -0x70(%rbp), %rdi
leaq -0xb0(%rbp), %rdx
movq %r15, %rsi
callq 0x2d8d6
leaq -0x70(%rbp), %rsi
movq %rbx, %rdi
callq 0x2593c
leaq 0x468b7(%rip), %rsi     # 0x7bb88
movl $0x4, %edx
movq %rbx, %rdi
callq 0x1b5e0
movq 0x20(%r14), %r14
leaq -0xc0(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x45d8b(%rip), %rsi     # 0x7b07f
leaq 0x45d8d(%rip), %rdx     # 0x7b088
leaq -0xd0(%rbp), %rdi
callq 0x431c8
leaq -0x110(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
movq %r14, %rsi
callq 0x2d8d6
leaq -0x110(%rbp), %rsi
movq %rbx, %rdi
callq 0x2593c
leaq -0x29(%rbp), %rsi
movb $0x29, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x1b5e0
leaq -0x29(%rbp), %rsi
movb $0xa, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x1b5e0
leaq -0xf8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35369
callq 0x1b4d0
movq -0xd0(%rbp), %rdi
cmpq %r15, %rdi
je 0x3537a
callq 0x1b4d0
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3538c
callq 0x1b4d0
movq -0xb0(%rbp), %rdi
cmpq %r12, %rdi
je 0x3594d
callq 0x1b4d0
jmp 0x3594d
xorps %xmm0, %xmm0
movaps %xmm0, -0xd0(%rbp)
movq $0x0, -0xc0(%rbp)
leaq -0x180(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x45ac6(%rip), %rdx     # 0x7ae93
leaq -0x190(%rbp), %rdi
movq %rdx, %rsi
callq 0x431c8
leaq -0xa0(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq -0x190(%rbp), %rax
cmpq %r13, %rax
je 0x3540a
movq %rax, -0xb0(%rbp)
movq -0x180(%rbp), %rax
movq %rax, -0xa0(%rbp)
jmp 0x35412
movups (%r13), %xmm0
movups %xmm0, (%rcx)
movq -0x188(%rbp), %rax
leaq -0xb0(%rbp), %rsi
movq %rax, 0x8(%rsi)
movq %r13, -0x190(%rbp)
xorl %eax, %eax
movq %rax, -0x188(%rbp)
movb $0x0, -0x180(%rbp)
movl $0x0, 0x20(%rsi)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rsi)
movq %rax, 0x38(%rsi)
movq 0x28(%r14), %rdx
addq 0x20(%r14), %rdx
addq 0x30(%r14), %rdx
leaq -0x110(%rbp), %rdi
callq 0x40ddc
movq 0x10(%r14), %rdx
addq 0x8(%r14), %rdx
addq 0x18(%r14), %rdx
leaq -0x70(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x40ddc
leaq -0xd0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x60f80
leaq -0x48(%rbp), %r15
movq %r15, %rdi
callq 0x3fc98
movq -0x28(%r15), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x354af
callq 0x1b4d0
leaq -0x88(%rbp), %r15
leaq -0xe8(%rbp), %r12
movq %r12, %rdi
callq 0x3fc98
movq -0x28(%r12), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x354db
callq 0x1b4d0
movq %r15, %rdi
callq 0x3fc98
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %r15
cmpq %r15, %rdi
je 0x354fb
callq 0x1b4d0
movq -0x190(%rbp), %rdi
cmpq %r13, %rdi
je 0x3550c
callq 0x1b4d0
leaq -0x160(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x46656(%rip), %rsi     # 0x7bb74
leaq 0x46655(%rip), %rdx     # 0x7bb7a
leaq -0x170(%rbp), %rdi
callq 0x431c8
movq %r15, -0xb0(%rbp)
movq -0x170(%rbp), %rax
cmpq %r13, %rax
je 0x3555b
movq %rax, -0xb0(%rbp)
movq -0x160(%rbp), %rax
movq %rax, -0xa0(%rbp)
jmp 0x35564
movups (%r13), %xmm0
movups %xmm0, (%r15)
movq -0x168(%rbp), %rax
leaq -0xb0(%rbp), %rsi
movq %rax, 0x8(%rsi)
movq %r13, -0x170(%rbp)
xorl %eax, %eax
movq %rax, -0x168(%rbp)
movb $0x0, -0x160(%rbp)
movl $0x3, 0x20(%rsi)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rsi)
movq %rax, 0x38(%rsi)
movq 0x20(%r14), %rdx
leaq -0x110(%rbp), %rdi
callq 0x40ddc
movq 0x8(%r14), %rdx
leaq -0x70(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x40ddc
leaq -0xd0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x60f80
leaq -0x48(%rbp), %r15
movq %r15, %rdi
callq 0x3fc98
movq -0x28(%r15), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x355f1
callq 0x1b4d0
leaq -0x88(%rbp), %r15
movq %r12, %rdi
callq 0x3fc98
movq -0x28(%r12), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x35616
callq 0x1b4d0
movq %r15, %rdi
callq 0x3fc98
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %r15
cmpq %r15, %rdi
je 0x35636
callq 0x1b4d0
movq -0x170(%rbp), %rdi
cmpq %r13, %rdi
je 0x35647
callq 0x1b4d0
leaq -0x140(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x46534(%rip), %rsi     # 0x7bb8d
leaq 0x46533(%rip), %rdx     # 0x7bb93
leaq -0x150(%rbp), %rdi
callq 0x431c8
movq %r15, -0xb0(%rbp)
movq -0x150(%rbp), %rax
cmpq %r13, %rax
je 0x35696
movq %rax, -0xb0(%rbp)
movq -0x140(%rbp), %rax
movq %rax, -0xa0(%rbp)
jmp 0x3569f
movups (%r13), %xmm0
movups %xmm0, (%r15)
movq -0x148(%rbp), %rax
leaq -0xb0(%rbp), %rsi
movq %rax, 0x8(%rsi)
movq %r13, -0x150(%rbp)
xorl %eax, %eax
movq %rax, -0x148(%rbp)
movb $0x0, -0x140(%rbp)
movl $0x12, 0x20(%rsi)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rsi)
movq %rax, 0x38(%rsi)
movq 0x28(%r14), %rdx
leaq -0x110(%rbp), %rdi
callq 0x40ddc
movq 0x10(%r14), %rdx
leaq -0x70(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x40ddc
leaq -0xd0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x60f80
leaq -0x48(%rbp), %r15
movq %r15, %rdi
callq 0x3fc98
movq -0x28(%r15), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3572c
callq 0x1b4d0
leaq -0x88(%rbp), %r15
movq %r12, %rdi
callq 0x3fc98
movq -0x28(%r12), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x35751
callq 0x1b4d0
movq %r15, %rdi
callq 0x3fc98
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %r15
cmpq %r15, %rdi
je 0x35771
callq 0x1b4d0
movq -0x150(%rbp), %rdi
cmpq %r13, %rdi
je 0x35782
callq 0x1b4d0
leaq -0x120(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x463ff(%rip), %rsi     # 0x7bb94
leaq 0x4640a(%rip), %rdx     # 0x7bba6
leaq -0x130(%rbp), %rdi
callq 0x431c8
leaq -0x60(%rbp), %r13
movq %r15, -0xb0(%rbp)
movq -0x130(%rbp), %rax
cmpq %r12, %rax
je 0x357d6
movq %rax, -0xb0(%rbp)
movq -0x120(%rbp), %rax
movq %rax, -0xa0(%rbp)
jmp 0x357df
movups (%r12), %xmm0
movups %xmm0, (%r15)
movq -0x128(%rbp), %rax
leaq -0xb0(%rbp), %rsi
movq %rax, 0x8(%rsi)
movq %r12, -0x130(%rbp)
xorl %eax, %eax
movq %rax, -0x128(%rbp)
movb $0x0, -0x120(%rbp)
movl $0x16, 0x20(%rsi)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rsi)
movq %rax, 0x38(%rsi)
movq 0x30(%r14), %rdx
leaq -0x110(%rbp), %rdi
callq 0x40ddc
movq 0x18(%r14), %rdx
leaq -0x70(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x40ddc
leaq -0xd0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x60f80
leaq -0x48(%rbp), %r14
movq %r14, %rdi
callq 0x3fc98
movq -0x28(%r14), %rdi
cmpq %r13, %rdi
je 0x35868
callq 0x1b4d0
leaq -0x88(%rbp), %r14
leaq -0xe8(%rbp), %r15
movq %r15, %rdi
callq 0x3fc98
movq -0x28(%r15), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x35893
callq 0x1b4d0
movq %r14, %rdi
callq 0x3fc98
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %rax
cmpq %rax, %rdi
je 0x358b3
callq 0x1b4d0
movq -0x130(%rbp), %rdi
cmpq %r12, %rdi
je 0x358c4
callq 0x1b4d0
leaq -0x70(%rbp), %rdi
movq %r13, (%rdi)
leaq 0x44f0c(%rip), %rsi     # 0x7a7de
leaq 0x44f0f(%rip), %rdx     # 0x7a7e8
callq 0x431c8
leaq -0x70(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x365fc
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x35901
callq 0x1b4d0
leaq -0x70(%rbp), %rdi
movq %r13, (%rdi)
leaq 0x46298(%rip), %rsi     # 0x7bba7
leaq 0x4629b(%rip), %rdx     # 0x7bbb1
callq 0x431c8
leaq -0x70(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
movl $0x1, %ecx
movq %rbx, %rdi
callq 0x365fc
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x35941
callq 0x1b4d0
leaq -0xd0(%rbp), %rdi
callq 0x40fba
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x35966
jmp 0x35a94
movq %rax, %rbx
movq -0x70(%rbp), %rdi
jmp 0x35a86
jmp 0x35a94
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x40f8e
jmp 0x35988
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x40f8e
jmp 0x35999
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x40f8e
movq -0x130(%rbp), %rdi
cmpq %r12, %rdi
jne 0x35a8b
jmp 0x35a97
jmp 0x35a94
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x40f8e
jmp 0x359d0
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x40f8e
jmp 0x359e1
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x40f8e
movq -0x150(%rbp), %rdi
jmp 0x35a86
jmp 0x35a94
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x40f8e
jmp 0x35a17
movq %rax, %rbx
jmp 0x35ad6
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x40f8e
jmp 0x35a2d
jmp 0x35aab
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x40f8e
movq -0x170(%rbp), %rdi
jmp 0x35a86
jmp 0x35a94
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x40f8e
jmp 0x35a5d
movq %rax, %rbx
jmp 0x35af9
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x40f8e
jmp 0x35a73
movq %rax, %rbx
jmp 0x35aa3
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x40f8e
movq -0x190(%rbp), %rdi
cmpq %r13, %rdi
je 0x35a97
callq 0x1b4d0
jmp 0x35a97
jmp 0x35ab0
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x40fba
movq %rbx, %rdi
callq 0x1b910
movq %rax, %rbx
jmp 0x35ae7
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x23940
jmp 0x35aa3
movq %rax, %rbx
leaq -0xf8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35ad6
callq 0x1b4d0
movq -0xd0(%rbp), %rdi
cmpq %r15, %rdi
je 0x35ae7
callq 0x1b4d0
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35af9
callq 0x1b4d0
movq -0xb0(%rbp), %rdi
cmpq %r12, %rdi
je 0x35aa3
callq 0x1b4d0
jmp 0x35aa3