// File: /workspace/github_cpp_makefile_star2_O1/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 0x353d9
movq 0x18(%rbx), %rbx
leaq -0x70(%rbp), %rdi
movl $0x16, %esi
callq 0x238d4
leaq 0x4779e(%rip), %rsi     # 0x7cb5c
movl $0xd, %edx
movq %rbx, %rdi
callq 0x1b5e0
leaq -0x70(%rbp), %rdi
callq 0x2397c
jmp 0x35b0f
movq %rsi, %r14
orq %rax, %rcx
jne 0x35568
movq 0x10(%r14), %rax
addq 0x8(%r14), %rax
xorl %ecx, %ecx
subq 0x18(%r14), %rcx
cmpq %rcx, %rax
je 0x35568
movq 0x18(%rbx), %r15
leaq -0x70(%rbp), %rdi
movl $0x13, %esi
callq 0x238d4
leaq 0x47755(%rip), %rsi     # 0x7cb6a
movl $0x10, %edx
movq %r15, %rdi
callq 0x1b5e0
leaq -0x70(%rbp), %rdi
callq 0x2397c
movq 0x18(%rbx), %rbx
leaq 0x47745(%rip), %rsi     # 0x7cb7b
movl $0x2, %edx
movq %rbx, %rdi
callq 0x1b5e0
movq 0x8(%r14), %r15
leaq -0xa0(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x47724(%rip), %rsi     # 0x7cb7e
leaq 0x47726(%rip), %rdx     # 0x7cb87
leaq -0xb0(%rbp), %rdi
callq 0x43438
leaq -0x70(%rbp), %rdi
leaq -0xb0(%rbp), %rdx
movq %r15, %rsi
callq 0x2d8f6
leaq -0x70(%rbp), %rsi
movq %rbx, %rdi
callq 0x25982
leaq 0x476f5(%rip), %rsi     # 0x7cb88
movl $0x4, %edx
movq %rbx, %rdi
callq 0x1b5e0
movq 0x20(%r14), %r14
leaq -0xc0(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x46bc9(%rip), %rsi     # 0x7c07f
leaq 0x46bcb(%rip), %rdx     # 0x7c088
leaq -0xd0(%rbp), %rdi
callq 0x43438
leaq -0x110(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
movq %r14, %rsi
callq 0x2d8f6
leaq -0x110(%rbp), %rsi
movq %rbx, %rdi
callq 0x25982
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 0x3552b
callq 0x1b4d0
movq -0xd0(%rbp), %rdi
cmpq %r15, %rdi
je 0x3553c
callq 0x1b4d0
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3554e
callq 0x1b4d0
movq -0xb0(%rbp), %rdi
cmpq %r12, %rdi
je 0x35b0f
callq 0x1b4d0
jmp 0x35b0f
xorps %xmm0, %xmm0
movaps %xmm0, -0xd0(%rbp)
movq $0x0, -0xc0(%rbp)
leaq -0x180(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x46904(%rip), %rdx     # 0x7be93
leaq -0x190(%rbp), %rdi
movq %rdx, %rsi
callq 0x43438
leaq -0xa0(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq -0x190(%rbp), %rax
cmpq %r13, %rax
je 0x355cc
movq %rax, -0xb0(%rbp)
movq -0x180(%rbp), %rax
movq %rax, -0xa0(%rbp)
jmp 0x355d4
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 0x41070
movq 0x10(%r14), %rdx
addq 0x8(%r14), %rdx
addq 0x18(%r14), %rdx
leaq -0x70(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x41070
leaq -0xd0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x61ce4
leaq -0x48(%rbp), %r15
movq %r15, %rdi
callq 0x3ff72
movq -0x28(%r15), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x35671
callq 0x1b4d0
leaq -0x88(%rbp), %r15
leaq -0xe8(%rbp), %r12
movq %r12, %rdi
callq 0x3ff72
movq -0x28(%r12), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x3569d
callq 0x1b4d0
movq %r15, %rdi
callq 0x3ff72
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %r15
cmpq %r15, %rdi
je 0x356bd
callq 0x1b4d0
movq -0x190(%rbp), %rdi
cmpq %r13, %rdi
je 0x356ce
callq 0x1b4d0
leaq -0x160(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x47494(%rip), %rsi     # 0x7cb74
leaq 0x47493(%rip), %rdx     # 0x7cb7a
leaq -0x170(%rbp), %rdi
callq 0x43438
movq %r15, -0xb0(%rbp)
movq -0x170(%rbp), %rax
cmpq %r13, %rax
je 0x3571d
movq %rax, -0xb0(%rbp)
movq -0x160(%rbp), %rax
movq %rax, -0xa0(%rbp)
jmp 0x35726
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 0x41070
movq 0x8(%r14), %rdx
leaq -0x70(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x41070
leaq -0xd0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x61ce4
leaq -0x48(%rbp), %r15
movq %r15, %rdi
callq 0x3ff72
movq -0x28(%r15), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x357b3
callq 0x1b4d0
leaq -0x88(%rbp), %r15
movq %r12, %rdi
callq 0x3ff72
movq -0x28(%r12), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x357d8
callq 0x1b4d0
movq %r15, %rdi
callq 0x3ff72
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %r15
cmpq %r15, %rdi
je 0x357f8
callq 0x1b4d0
movq -0x170(%rbp), %rdi
cmpq %r13, %rdi
je 0x35809
callq 0x1b4d0
leaq -0x140(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x47372(%rip), %rsi     # 0x7cb8d
leaq 0x47371(%rip), %rdx     # 0x7cb93
leaq -0x150(%rbp), %rdi
callq 0x43438
movq %r15, -0xb0(%rbp)
movq -0x150(%rbp), %rax
cmpq %r13, %rax
je 0x35858
movq %rax, -0xb0(%rbp)
movq -0x140(%rbp), %rax
movq %rax, -0xa0(%rbp)
jmp 0x35861
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 0x41070
movq 0x10(%r14), %rdx
leaq -0x70(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x41070
leaq -0xd0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x61ce4
leaq -0x48(%rbp), %r15
movq %r15, %rdi
callq 0x3ff72
movq -0x28(%r15), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x358ee
callq 0x1b4d0
leaq -0x88(%rbp), %r15
movq %r12, %rdi
callq 0x3ff72
movq -0x28(%r12), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x35913
callq 0x1b4d0
movq %r15, %rdi
callq 0x3ff72
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %r15
cmpq %r15, %rdi
je 0x35933
callq 0x1b4d0
movq -0x150(%rbp), %rdi
cmpq %r13, %rdi
je 0x35944
callq 0x1b4d0
leaq -0x120(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x4723d(%rip), %rsi     # 0x7cb94
leaq 0x47248(%rip), %rdx     # 0x7cba6
leaq -0x130(%rbp), %rdi
callq 0x43438
leaq -0x60(%rbp), %r13
movq %r15, -0xb0(%rbp)
movq -0x130(%rbp), %rax
cmpq %r12, %rax
je 0x35998
movq %rax, -0xb0(%rbp)
movq -0x120(%rbp), %rax
movq %rax, -0xa0(%rbp)
jmp 0x359a1
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 0x41070
movq 0x18(%r14), %rdx
leaq -0x70(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x41070
leaq -0xd0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x61ce4
leaq -0x48(%rbp), %r14
movq %r14, %rdi
callq 0x3ff72
movq -0x28(%r14), %rdi
cmpq %r13, %rdi
je 0x35a2a
callq 0x1b4d0
leaq -0x88(%rbp), %r14
leaq -0xe8(%rbp), %r15
movq %r15, %rdi
callq 0x3ff72
movq -0x28(%r15), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x35a55
callq 0x1b4d0
movq %r14, %rdi
callq 0x3ff72
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %rax
cmpq %rax, %rdi
je 0x35a75
callq 0x1b4d0
movq -0x130(%rbp), %rdi
cmpq %r12, %rdi
je 0x35a86
callq 0x1b4d0
leaq -0x70(%rbp), %rdi
movq %r13, (%rdi)
leaq 0x45d4a(%rip), %rsi     # 0x7b7de
leaq 0x45d4d(%rip), %rdx     # 0x7b7e8
callq 0x43438
leaq -0x70(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x367c6
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x35ac3
callq 0x1b4d0
leaq -0x70(%rbp), %rdi
movq %r13, (%rdi)
leaq 0x470d6(%rip), %rsi     # 0x7cba7
leaq 0x470d9(%rip), %rdx     # 0x7cbb1
callq 0x43438
leaq -0x70(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
movl $0x1, %ecx
movq %rbx, %rdi
callq 0x367c6
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x35b03
callq 0x1b4d0
leaq -0xd0(%rbp), %rdi
callq 0x4123a
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x35b28
jmp 0x35c56
movq %rax, %rbx
movq -0x70(%rbp), %rdi
jmp 0x35c48
jmp 0x35c56
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x4120e
jmp 0x35b4a
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x4120e
jmp 0x35b5b
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x4120e
movq -0x130(%rbp), %rdi
cmpq %r12, %rdi
jne 0x35c4d
jmp 0x35c59
jmp 0x35c56
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x4120e
jmp 0x35b92
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x4120e
jmp 0x35ba3
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x4120e
movq -0x150(%rbp), %rdi
jmp 0x35c48
jmp 0x35c56
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x4120e
jmp 0x35bd9
movq %rax, %rbx
jmp 0x35c98
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x4120e
jmp 0x35bef
jmp 0x35c6d
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x4120e
movq -0x170(%rbp), %rdi
jmp 0x35c48
jmp 0x35c56
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x4120e
jmp 0x35c1f
movq %rax, %rbx
jmp 0x35cbb
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x4120e
jmp 0x35c35
movq %rax, %rbx
jmp 0x35c65
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x4120e
movq -0x190(%rbp), %rdi
cmpq %r13, %rdi
je 0x35c59
callq 0x1b4d0
jmp 0x35c59
jmp 0x35c72
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x4123a
movq %rbx, %rdi
callq 0x1b910
movq %rax, %rbx
jmp 0x35ca9
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x2397c
jmp 0x35c65
movq %rax, %rbx
leaq -0xf8(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35c98
callq 0x1b4d0
movq -0xd0(%rbp), %rdi
cmpq %r15, %rdi
je 0x35ca9
callq 0x1b4d0
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x35cbb
callq 0x1b4d0
movq -0xb0(%rbp), %rdi
cmpq %r12, %rdi
je 0x35c65
callq 0x1b4d0
jmp 0x35c65