// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::ConsoleReporter::printTotals(Catch::Totals const&)
void printTotals( Totals const& totals ) {
            if( totals.testCases.total() == 0 ) {
                stream << Colour( Colour::Warning ) << "No tests ran\n";
            }
            else if( totals.assertions.total() > 0 && totals.assertions.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 %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movq %rdi, %rbx
movq 0x20(%rsi), %rax
addq 0x18(%rsi), %rax
addq 0x28(%rsi), %rax
jne 0x26468
movq 0x18(%rbx), %rbx
movb $0x0, 0x30(%rsp)
pushq $0x6
popq %rdi
callq 0xe4b0
leaq 0x10771(%rip), %rsi     # 0x36bc2
movq %rbx, %rdi
callq 0xc4d0
leaq 0x30(%rsp), %rdi
callq 0xe5a2
jmp 0x2689e
movq %rsi, %r14
movq 0x8(%rsi), %rax
movq 0x10(%rsi), %rcx
movq (%rsi), %rdx
addq %rax, %rdx
addq %rcx, %rdx
sete %dl
orq %rax, %rcx
setne %al
orb %dl, %al
jne 0x265ab
movq 0x18(%rbx), %r15
movb $0x0, 0x30(%rsp)
pushq $0x13
popq %rdi
callq 0xe4b0
leaq 0x1072b(%rip), %rsi     # 0x36bd0
movq %r15, %rdi
callq 0xc4d0
leaq 0x30(%rsp), %rdi
callq 0xe5a2
movq 0x18(%rbx), %rdi
leaq 0xff34(%rip), %rsi      # 0x363f6
callq 0xc4d0
movq %rax, %rbx
movq (%r14), %r12
leaq 0x1070d(%rip), %rsi     # 0x36be1
leaq 0x88(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x11b1a
leaq 0x38(%rsp), %r15
movq %r12, -0x8(%r15)
leaq 0x88(%rsp), %rsi
movq %r15, %rdi
callq 0xc650
leaq 0x30(%rsp), %rsi
movq %rbx, %rdi
callq 0xf60b
leaq 0x10683(%rip), %rsi     # 0x36b96
movq %rbx, %rdi
callq 0xc4d0
movq %rax, %rbx
movq 0x18(%r14), %r12
leaq 0x10023(%rip), %rsi     # 0x3654c
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x11b1a
leaq 0xd0(%rsp), %r14
movq %r12, -0x8(%r14)
leaq 0x10(%rsp), %rsi
movq %r14, %rdi
callq 0xc650
leaq 0xc8(%rsp), %rsi
movq %rbx, %rdi
callq 0xf60b
leaq 0xf42b(%rip), %rsi      # 0x35993
movq %rbx, %rdi
callq 0xc4d0
leaq 0x1047a(%rip), %rsi     # 0x369f1
movq %rax, %rdi
callq 0xc4d0
movq %r14, %rdi
callq 0xc978
leaq 0x10(%rsp), %rdi
callq 0xc978
movq %r15, %rdi
callq 0xc978
leaq 0x88(%rsp), %rdi
callq 0xc978
jmp 0x2689e
xorps %xmm0, %xmm0
movaps %xmm0, 0x70(%rsp)
andq $0x0, 0x80(%rsp)
leaq 0x1042f(%rip), %rsi     # 0x369f2
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x11b1a
leaq 0x88(%rsp), %rdi
leaq 0x10(%rsp), %rsi
xorl %edx, %edx
callq 0x2698c
movq 0x20(%r14), %rdx
addq 0x18(%r14), %rdx
addq 0x28(%r14), %rdx
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x269b4
movq 0x8(%r14), %rdx
addq (%r14), %rdx
addq 0x10(%r14), %rdx
leaq 0x30(%rsp), %rdi
leaq 0xc8(%rsp), %rsi
callq 0x269b4
leaq 0x70(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x26cb2
leaq 0x30(%rsp), %rdi
callq 0x26af2
leaq 0xc8(%rsp), %rdi
callq 0x26af2
leaq 0x88(%rsp), %rdi
callq 0x26af2
leaq 0x10(%rsp), %rdi
callq 0xc978
leaq 0x10572(%rip), %rsi     # 0x36bda
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x11b1a
leaq 0x88(%rsp), %rdi
leaq 0x10(%rsp), %rsi
pushq $0x3
popq %rdx
callq 0x2698c
movq 0x18(%r14), %rdx
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x269b4
movq (%r14), %rdx
leaq 0x30(%rsp), %rdi
leaq 0xc8(%rsp), %rsi
callq 0x269b4
leaq 0x70(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x26cb2
leaq 0x30(%rsp), %rdi
callq 0x26af2
leaq 0xc8(%rsp), %rdi
callq 0x26af2
leaq 0x88(%rsp), %rdi
callq 0x26af2
leaq 0x10(%rsp), %rdi
callq 0xc978
leaq 0x104ed(%rip), %rsi     # 0x36beb
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x11b1a
leaq 0x88(%rsp), %rdi
leaq 0x10(%rsp), %rsi
pushq $0x12
popq %rdx
callq 0x2698c
movq 0x20(%r14), %rdx
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x269b4
movq 0x8(%r14), %rdx
leaq 0x30(%rsp), %rdi
leaq 0xc8(%rsp), %rsi
callq 0x269b4
leaq 0x70(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x26cb2
leaq 0x30(%rsp), %rdi
callq 0x26af2
leaq 0xc8(%rsp), %rdi
callq 0x26af2
leaq 0x88(%rsp), %rdi
callq 0x26af2
leaq 0x10(%rsp), %rdi
callq 0xc978
leaq 0x1045d(%rip), %rsi     # 0x36bf2
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x11b1a
leaq 0x88(%rsp), %rdi
leaq 0x10(%rsp), %rsi
pushq $0x6
popq %rdx
callq 0x2698c
movq 0x28(%r14), %rdx
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x269b4
movq 0x10(%r14), %rdx
leaq 0x30(%rsp), %rdi
leaq 0xc8(%rsp), %rsi
callq 0x269b4
leaq 0x70(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x26cb2
leaq 0x30(%rsp), %rdi
callq 0x26af2
leaq 0xc8(%rsp), %rdi
callq 0x26af2
leaq 0x88(%rsp), %rdi
callq 0x26af2
leaq 0x10(%rsp), %rdi
callq 0xc978
leaq 0xf5b3(%rip), %rsi      # 0x35ddf
leaq 0x30(%rsp), %rdi
leaq 0xc8(%rsp), %rdx
callq 0x11b1a
leaq 0x30(%rsp), %rsi
leaq 0x70(%rsp), %rdx
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x26b08
leaq 0x30(%rsp), %rdi
callq 0xc978
leaq 0x103a2(%rip), %rsi     # 0x36c05
leaq 0x30(%rsp), %rdi
leaq 0xc8(%rsp), %rdx
callq 0x11b1a
leaq 0x30(%rsp), %rsi
leaq 0x70(%rsp), %rdx
pushq $0x1
popq %rcx
movq %rbx, %rdi
callq 0x26b08
leaq 0x30(%rsp), %rdi
callq 0xc978
leaq 0x70(%rsp), %rdi
callq 0x26c90
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x268b4
jmp 0x26934
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
jmp 0x26928
jmp 0x26934
jmp 0x268e8
jmp 0x268f7
jmp 0x26909
jmp 0x26920
jmp 0x26934
jmp 0x268e8
jmp 0x268f7
jmp 0x26909
jmp 0x26920
jmp 0x26934
jmp 0x268e8
jmp 0x268f7
jmp 0x26909
jmp 0x26920
movq %rax, %rbx
jmp 0x26964
jmp 0x26934
jmp 0x26945
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x26af2
jmp 0x268fa
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
callq 0x26af2
jmp 0x2690c
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0x26af2
jmp 0x26923
movq %rax, %rbx
jmp 0x26976
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0xc978
jmp 0x26937
movq %rax, %rbx
jmp 0x26983
movq %rax, %rbx
leaq 0x70(%rsp), %rdi
callq 0x26c90
jmp 0x26983
jmp 0x2694a
movq %rax, %rbx
jmp 0x2696e
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0xe5a2
jmp 0x26983
movq %rax, %rbx
movq %r14, %rdi
callq 0xc978
leaq 0x10(%rsp), %rdi
callq 0xc978
movq %r15, %rdi
callq 0xc978
leaq 0x88(%rsp), %rdi
callq 0xc978
movq %rbx, %rdi
callq 0xc840
nop