// File: /workspace/github_cpp_makefile_star2_O3/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 %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
movq %rdi, %rbx
movq 0x20(%rsi), %rax
addq 0x18(%rsi), %rax
addq 0x28(%rsi), %rax
jne 0x2ee2b
movq 0x18(%rbx), %rbx
movb $0x0, 0x20(%rsp)
movl $0x6, %edi
callq 0xe19c
leaq 0x16d9f(%rip), %rsi     # 0x45bb1
movl $0xd, %edx
movq %rbx, %rdi
callq 0xb530
xorl %edi, %edi
callq 0xe19c
jmp 0x2f530
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 0x2efee
movq 0x18(%rbx), %r15
movb $0x0, 0x20(%rsp)
movl $0x13, %edi
callq 0xe19c
leaq 0x16d55(%rip), %rsi     # 0x45bbf
movl $0x10, %edx
movq %r15, %rdi
callq 0xb530
xorl %edi, %edi
callq 0xe19c
movq 0x18(%rbx), %rbx
leaq 0x1655c(%rip), %rsi     # 0x453e5
movl $0x2, %edx
movq %rbx, %rdi
callq 0xb530
movq (%r14), %r12
leaq 0x70(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x16d27(%rip), %rsi     # 0x45bd0
leaq 0x16d29(%rip), %rdx     # 0x45bd9
leaq 0x60(%rsp), %rdi
callq 0x31a82
leaq 0x28(%rsp), %rdi
movq %r12, -0x8(%rdi)
leaq 0x38(%rsp), %r12
movq %r12, -0x10(%r12)
movq 0x60(%rsp), %rsi
movq 0x68(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x20(%rsp), %rsi
movq %rbx, %rdi
callq 0xff93
leaq 0x16c92(%rip), %rsi     # 0x45b85
movl $0x4, %edx
movq %rbx, %rdi
callq 0xb530
movq 0x18(%r14), %r13
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x16627(%rip), %rsi     # 0x4553b
leaq 0x16629(%rip), %rdx     # 0x45544
movq %rsp, %rdi
callq 0x31a82
leaq 0xa8(%rsp), %rdi
movq %r13, -0x8(%rdi)
leaq 0xb8(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0xa0(%rsp), %rsi
movq %rbx, %rdi
callq 0xff93
leaq 0x15a24(%rip), %rsi     # 0x44987
movl $0x1, %edx
movq %rbx, %rdi
callq 0xb530
leaq 0x16a69(%rip), %rsi     # 0x459e0
movl $0x1, %edx
movq %rbx, %rdi
callq 0xb530
movq 0xa8(%rsp), %rdi
cmpq %r13, %rdi
je 0x2efa1
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2efb7
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x2efce
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x60(%rsp), %rdi
cmpq %r15, %rdi
je 0x2f530
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x2f530
xorps %xmm0, %xmm0
movaps %xmm0, 0xe0(%rsp)
movq $0x0, 0xf0(%rsp)
leaq 0x10(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x169cc(%rip), %rdx     # 0x459e1
movq %rsp, %rdi
movq %rdx, %rsi
callq 0x31a82
leaq 0x70(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
leaq 0x60(%rsp), %rdi
callq 0x319ec
leaq 0x60(%rsp), %rsi
movl $0x0, 0x20(%rsi)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rsi)
movq $0x0, 0x38(%rsi)
movq 0x20(%r14), %rdx
addq 0x18(%r14), %rdx
addq 0x28(%r14), %rdx
leaq 0xa0(%rsp), %rdi
callq 0x2f690
movq 0x8(%r14), %rdx
addq (%r14), %rdx
addq 0x10(%r14), %rdx
leaq 0x20(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x2f690
leaq 0xe0(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x2fafa
leaq 0x48(%rsp), %r15
movq %r15, %rdi
callq 0x13df2
movq -0x28(%r15), %rdi
leaq 0x30(%rsp), %rbp
cmpq %rbp, %rdi
je 0x2f0ca
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x88(%rsp), %r15
leaq 0xc8(%rsp), %r12
movq %r12, %rdi
callq 0x13df2
movq -0x28(%r12), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x2f104
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %r15, %rdi
callq 0x13df2
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
leaq 0x10(%rsp), %r15
je 0x2f128
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x2f13e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %rsp, %rdi
movq %r15, (%rdi)
leaq 0x16a7e(%rip), %rsi     # 0x45bc9
leaq 0x16a7d(%rip), %rdx     # 0x45bcf
callq 0x31a82
leaq 0x60(%rsp), %rdi
movq %r13, (%rdi)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x60(%rsp), %rsi
movl $0x3, 0x20(%rsi)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rsi)
movq $0x0, 0x38(%rsi)
movq 0x18(%r14), %rdx
leaq 0xa0(%rsp), %rdi
callq 0x2f690
movq (%r14), %rdx
leaq 0x20(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x2f690
leaq 0xe0(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x2fafa
leaq 0x48(%rsp), %r15
movq %r15, %rdi
callq 0x13df2
movq -0x28(%r15), %rdi
cmpq %rbp, %rdi
je 0x2f1e6
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x88(%rsp), %r15
leaq 0xc8(%rsp), %r12
movq %r12, %rdi
callq 0x13df2
movq -0x28(%r12), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x2f220
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %r15, %rdi
callq 0x13df2
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
leaq 0x10(%rsp), %r15
je 0x2f244
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x2f25a
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %rsp, %rdi
movq %r15, (%rdi)
leaq 0x16973(%rip), %rsi     # 0x45bda
leaq 0x16972(%rip), %rdx     # 0x45be0
callq 0x31a82
leaq 0x60(%rsp), %rdi
movq %r13, (%rdi)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x60(%rsp), %rsi
movl $0x12, 0x20(%rsi)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rsi)
movq $0x0, 0x38(%rsi)
movq 0x20(%r14), %rdx
leaq 0xa0(%rsp), %rdi
callq 0x2f690
movq 0x8(%r14), %rdx
leaq 0x20(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x2f690
leaq 0xe0(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x2fafa
leaq 0x48(%rsp), %r15
movq %r15, %rdi
callq 0x13df2
movq -0x28(%r15), %rdi
cmpq %rbp, %rdi
je 0x2f303
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x88(%rsp), %r15
leaq 0xc8(%rsp), %r12
movq %r12, %rdi
callq 0x13df2
movq -0x28(%r12), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x2f33d
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %r15, %rdi
callq 0x13df2
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
leaq 0x10(%rsp), %r12
je 0x2f361
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x2f377
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x1685d(%rip), %rsi     # 0x45be1
leaq 0x16868(%rip), %rdx     # 0x45bf3
callq 0x31a82
leaq 0x60(%rsp), %rdi
movq %r13, (%rdi)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x60(%rsp), %rsi
movl $0x6, 0x20(%rsi)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rsi)
movq $0x0, 0x38(%rsi)
movq 0x28(%r14), %rdx
leaq 0xa0(%rsp), %rdi
callq 0x2f690
movq 0x10(%r14), %rdx
leaq 0x20(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x2f690
leaq 0xe0(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x2fafa
leaq 0x48(%rsp), %r14
movq %r14, %rdi
callq 0x13df2
movq -0x28(%r14), %rdi
cmpq %rbp, %rdi
je 0x2f420
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x88(%rsp), %r14
leaq 0xc8(%rsp), %r15
movq %r15, %rdi
callq 0x13df2
movq -0x28(%r15), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x2f459
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %r14, %rdi
callq 0x13df2
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
je 0x2f478
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x2f48e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x20(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x15936(%rip), %rsi     # 0x44dd3
leaq 0x15939(%rip), %rdx     # 0x44ddd
callq 0x31a82
leaq 0x20(%rsp), %rsi
leaq 0xe0(%rsp), %rdx
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x2f8b6
movq 0x20(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2f4d7
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x20(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x1670e(%rip), %rsi     # 0x45bf4
leaq 0x16711(%rip), %rdx     # 0x45bfe
callq 0x31a82
leaq 0x20(%rsp), %rsi
leaq 0xe0(%rsp), %rdx
movl $0x1, %ecx
movq %rbx, %rdi
callq 0x2f8b6
movq 0x20(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2f523
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0xe0(%rsp), %rdi
callq 0x2faca
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2f549
jmp 0x2f5f0
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2f5f3
movq 0x30(%rsp), %rsi
jmp 0x2f5e4
jmp 0x2f5f0
jmp 0x2f591
jmp 0x2f5a0
jmp 0x2f5ba
jmp 0x2f5ce
jmp 0x2f5f0
jmp 0x2f591
jmp 0x2f5a0
jmp 0x2f5ba
jmp 0x2f5ce
jmp 0x2f5f0
jmp 0x2f591
jmp 0x2f5a0
jmp 0x2f5ba
movq %rax, %rbx
jmp 0x2f646
jmp 0x2f5ce
jmp 0x2f60a
jmp 0x2f5f0
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x2f88e
jmp 0x2f5a3
movq %rax, %rbx
leaq 0xa0(%rsp), %rdi
callq 0x2f88e
jmp 0x2f5bd
movq %rax, %rbx
jmp 0x2f673
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x2f88e
jmp 0x2f5d1
movq %rax, %rbx
jmp 0x2f600
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x2f5f3
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x2f5f3
jmp 0x2f60f
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0x2faca
movq %rbx, %rdi
callq 0xb820
jmp 0x2f617
movq %rax, %rbx
jmp 0x2f65c
movq %rax, %rdi
callq 0x14d37
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0xe206
jmp 0x2f600
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
cmpq %r13, %rdi
je 0x2f646
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2f65c
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x2f673
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x60(%rsp), %rdi
cmpq %r15, %rdi
je 0x2f600
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x2f600
nop