// File: /workspace/github_cpp_makefile_star2_O1/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 0x30125
movq 0x18(%rbx), %rbx
movb $0x0, 0x20(%rsp)
movl $0x6, %edi
callq 0xf168
leaq 0x17aa5(%rip), %rsi     # 0x47bb1
movl $0xd, %edx
movq %rbx, %rdi
callq 0xc530
xorl %edi, %edi
callq 0xf168
jmp 0x3082a
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 0x302e8
movq 0x18(%rbx), %r15
movb $0x0, 0x20(%rsp)
movl $0x13, %edi
callq 0xf168
leaq 0x17a5b(%rip), %rsi     # 0x47bbf
movl $0x10, %edx
movq %r15, %rdi
callq 0xc530
xorl %edi, %edi
callq 0xf168
movq 0x18(%rbx), %rbx
leaq 0x17262(%rip), %rsi     # 0x473e5
movl $0x2, %edx
movq %rbx, %rdi
callq 0xc530
movq (%r14), %r12
leaq 0x70(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x17a2d(%rip), %rsi     # 0x47bd0
leaq 0x17a2f(%rip), %rdx     # 0x47bd9
leaq 0x60(%rsp), %rdi
callq 0x32d7e
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 0x32cee
leaq 0x20(%rsp), %rsi
movq %rbx, %rdi
callq 0x10f8f
leaq 0x17998(%rip), %rsi     # 0x47b85
movl $0x4, %edx
movq %rbx, %rdi
callq 0xc530
movq 0x18(%r14), %r13
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1732d(%rip), %rsi     # 0x4753b
leaq 0x1732f(%rip), %rdx     # 0x47544
movq %rsp, %rdi
callq 0x32d7e
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 0x32cee
leaq 0xa0(%rsp), %rsi
movq %rbx, %rdi
callq 0x10f8f
leaq 0x1672a(%rip), %rsi     # 0x46987
movl $0x1, %edx
movq %rbx, %rdi
callq 0xc530
leaq 0x1776f(%rip), %rsi     # 0x479e0
movl $0x1, %edx
movq %rbx, %rdi
callq 0xc530
movq 0xa8(%rsp), %rdi
cmpq %r13, %rdi
je 0x3029b
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x302b1
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x302c8
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x60(%rsp), %rdi
cmpq %r15, %rdi
je 0x3082a
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x3082a
xorps %xmm0, %xmm0
movaps %xmm0, 0xe0(%rsp)
movq $0x0, 0xf0(%rsp)
leaq 0x10(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x176d2(%rip), %rdx     # 0x479e1
movq %rsp, %rdi
movq %rdx, %rsi
callq 0x32d7e
leaq 0x70(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
leaq 0x60(%rsp), %rdi
callq 0x32cee
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 0x3098a
movq 0x8(%r14), %rdx
addq (%r14), %rdx
addq 0x10(%r14), %rdx
leaq 0x20(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x3098a
leaq 0xe0(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x30de4
leaq 0x48(%rsp), %r15
movq %r15, %rdi
callq 0x14e2c
movq -0x28(%r15), %rdi
leaq 0x30(%rsp), %rbp
cmpq %rbp, %rdi
je 0x303c4
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x88(%rsp), %r15
leaq 0xc8(%rsp), %r12
movq %r12, %rdi
callq 0x14e2c
movq -0x28(%r12), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x303fe
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %r15, %rdi
callq 0x14e2c
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
leaq 0x10(%rsp), %r15
je 0x30422
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x30438
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %rsp, %rdi
movq %r15, (%rdi)
leaq 0x17784(%rip), %rsi     # 0x47bc9
leaq 0x17783(%rip), %rdx     # 0x47bcf
callq 0x32d7e
leaq 0x60(%rsp), %rdi
movq %r13, (%rdi)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
callq 0x32cee
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 0x3098a
movq (%r14), %rdx
leaq 0x20(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x3098a
leaq 0xe0(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x30de4
leaq 0x48(%rsp), %r15
movq %r15, %rdi
callq 0x14e2c
movq -0x28(%r15), %rdi
cmpq %rbp, %rdi
je 0x304e0
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x88(%rsp), %r15
leaq 0xc8(%rsp), %r12
movq %r12, %rdi
callq 0x14e2c
movq -0x28(%r12), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x3051a
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %r15, %rdi
callq 0x14e2c
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
leaq 0x10(%rsp), %r15
je 0x3053e
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x30554
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %rsp, %rdi
movq %r15, (%rdi)
leaq 0x17679(%rip), %rsi     # 0x47bda
leaq 0x17678(%rip), %rdx     # 0x47be0
callq 0x32d7e
leaq 0x60(%rsp), %rdi
movq %r13, (%rdi)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
callq 0x32cee
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 0x3098a
movq 0x8(%r14), %rdx
leaq 0x20(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x3098a
leaq 0xe0(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x30de4
leaq 0x48(%rsp), %r15
movq %r15, %rdi
callq 0x14e2c
movq -0x28(%r15), %rdi
cmpq %rbp, %rdi
je 0x305fd
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x88(%rsp), %r15
leaq 0xc8(%rsp), %r12
movq %r12, %rdi
callq 0x14e2c
movq -0x28(%r12), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x30637
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %r15, %rdi
callq 0x14e2c
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
leaq 0x10(%rsp), %r12
je 0x3065b
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x30671
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x17563(%rip), %rsi     # 0x47be1
leaq 0x1756e(%rip), %rdx     # 0x47bf3
callq 0x32d7e
leaq 0x60(%rsp), %rdi
movq %r13, (%rdi)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
callq 0x32cee
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 0x3098a
movq 0x10(%r14), %rdx
leaq 0x20(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x3098a
leaq 0xe0(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x30de4
leaq 0x48(%rsp), %r14
movq %r14, %rdi
callq 0x14e2c
movq -0x28(%r14), %rdi
cmpq %rbp, %rdi
je 0x3071a
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x88(%rsp), %r14
leaq 0xc8(%rsp), %r15
movq %r15, %rdi
callq 0x14e2c
movq -0x28(%r15), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x30753
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %r14, %rdi
callq 0x14e2c
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
je 0x30772
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x30788
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x20(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x1663c(%rip), %rsi     # 0x46dd3
leaq 0x1663f(%rip), %rdx     # 0x46ddd
callq 0x32d7e
leaq 0x20(%rsp), %rsi
leaq 0xe0(%rsp), %rdx
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x30ba0
movq 0x20(%rsp), %rdi
cmpq %rbp, %rdi
je 0x307d1
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x20(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x17414(%rip), %rsi     # 0x47bf4
leaq 0x17417(%rip), %rdx     # 0x47bfe
callq 0x32d7e
leaq 0x20(%rsp), %rsi
leaq 0xe0(%rsp), %rdx
movl $0x1, %ecx
movq %rbx, %rdi
callq 0x30ba0
movq 0x20(%rsp), %rdi
cmpq %rbp, %rdi
je 0x3081d
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0xe0(%rsp), %rdi
callq 0x30db4
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x30843
jmp 0x308ea
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %rbp, %rdi
je 0x308ed
movq 0x30(%rsp), %rsi
jmp 0x308de
jmp 0x308ea
jmp 0x3088b
jmp 0x3089a
jmp 0x308b4
jmp 0x308c8
jmp 0x308ea
jmp 0x3088b
jmp 0x3089a
jmp 0x308b4
jmp 0x308c8
jmp 0x308ea
jmp 0x3088b
jmp 0x3089a
jmp 0x308b4
movq %rax, %rbx
jmp 0x30940
jmp 0x308c8
jmp 0x30904
jmp 0x308ea
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x30b78
jmp 0x3089d
movq %rax, %rbx
leaq 0xa0(%rsp), %rdi
callq 0x30b78
jmp 0x308b7
movq %rax, %rbx
jmp 0x3096d
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x30b78
jmp 0x308cb
movq %rax, %rbx
jmp 0x308fa
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x308ed
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x308ed
jmp 0x30909
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0x30db4
movq %rbx, %rdi
callq 0xc820
jmp 0x30911
movq %rax, %rbx
jmp 0x30956
movq %rax, %rdi
callq 0x15d1b
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0xf1d2
jmp 0x308fa
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
cmpq %r13, %rdi
je 0x30940
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x30956
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x3096d
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x60(%rsp), %rdi
cmpq %r15, %rdi
je 0x308fa
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x308fa
nop