// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::CompactReporter::printTotals(Catch::Totals const&) const
void printTotals( const Totals& totals ) const {
            if( totals.testCases.total() == 0 ) {
                stream << "No tests ran.";
            }
            else if( totals.testCases.failed == totals.testCases.total() ) {
                Colour colour( Colour::ResultError );
                const std::string qualify_assertions_failed =
                    totals.assertions.failed == totals.assertions.total() ?
                        bothOrAll( totals.assertions.failed ) : "";
                stream <<
                    "Failed " << bothOrAll( totals.testCases.failed )
                              << pluralise( totals.testCases.failed, "test case"  ) << ", "
                    "failed " << qualify_assertions_failed <<
                                 pluralise( totals.assertions.failed, "assertion" ) << ".";
            }
            else if( totals.assertions.total() == 0 ) {
                stream <<
                    "Passed " << bothOrAll( totals.testCases.total() )
                              << pluralise( totals.testCases.total(), "test case" )
                              << " (no assertions).";
            }
            else if( totals.assertions.failed ) {
                Colour colour( Colour::ResultError );
                stream <<
                    "Failed " << pluralise( totals.testCases.failed, "test case"  ) << ", "
                    "failed " << pluralise( totals.assertions.failed, "assertion" ) << ".";
            }
            else {
                Colour colour( Colour::ResultSuccess );
                stream <<
                    "Passed " << bothOrAll( totals.testCases.passed )
                              << pluralise( totals.testCases.passed, "test case"  ) <<
                    " with "  << pluralise( totals.assertions.passed, "assertion" ) << ".";
            }
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rdi, %r14
movq 0x20(%rsi), %rax
movq 0x18(%rsi), %rcx
addq %rax, %rcx
addq 0x28(%rsi), %rcx
je 0x30fed
movq %rsi, %rbx
cmpq %rcx, %rax
jne 0x31013
movb $0x0, 0x7(%rsp)
movl $0x12, %edi
callq 0xe19c
movq 0x8(%rbx), %rax
movq (%rbx), %rcx
addq %rax, %rcx
addq 0x10(%rbx), %rcx
cmpq %rcx, %rax
jne 0x31175
cmpq $0x2, %rax
leaq 0x14d2d(%rip), %rcx     # 0x45cd9
leaq 0x14d2c(%rip), %rdx     # 0x45cdf
cmoveq %rcx, %rdx
cmpq $0x1, %rax
leaq 0x14a1f(%rip), %r15     # 0x459e1
cmovneq %rdx, %r15
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
movq %r15, %rdi
callq 0xb1a0
leaq (%rax,%r15), %rdx
leaq 0x8(%rsp), %rdi
movq %r15, %rsi
callq 0x31a82
jmp 0x31192
movq 0x18(%r14), %rdi
leaq 0x14ca7(%rip), %rsi     # 0x45c9f
movl $0xd, %edx
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xb530
movq 0x8(%rbx), %rax
movq (%rbx), %rcx
addq %rax, %rcx
addq 0x10(%rbx), %rcx
jne 0x313c3
movq 0x18(%r14), %r14
leaq 0x14c8d(%rip), %rsi     # 0x45cbf
movl $0x7, %edx
movq %r14, %rdi
callq 0xb530
movq 0x20(%rbx), %rax
addq 0x18(%rbx), %rax
addq 0x28(%rbx), %rax
cmpq $0x2, %rax
leaq 0x14c83(%rip), %rcx     # 0x45cd9
leaq 0x14c82(%rip), %rdx     # 0x45cdf
cmoveq %rcx, %rdx
cmpq $0x1, %rax
leaq 0x14975(%rip), %r15     # 0x459e1
cmovneq %rdx, %r15
leaq 0x80(%rsp), %r13
movq %r13, -0x10(%r13)
movq %r15, %rdi
callq 0xb1a0
leaq (%rax,%r15), %rdx
leaq 0x70(%rsp), %r12
movq %r12, %rdi
movq %r15, %rsi
callq 0x31a82
movq (%r12), %rsi
movq 0x8(%r12), %rdx
movq %r14, %rdi
callq 0xb530
movq %rax, %r14
movq 0x18(%rbx), %rbp
movq 0x20(%rbx), %r12
movq 0x28(%rbx), %rbx
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x14473(%rip), %rsi     # 0x4553b
leaq 0x14475(%rip), %rdx     # 0x45544
leaq 0x8(%rsp), %rdi
callq 0x31a82
addq %rbp, %r12
addq %rbx, %r12
leaq 0x50(%rsp), %rdi
movq %r12, -0x8(%rdi)
leaq 0x60(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x48(%rsp), %rsi
movq %r14, %rdi
callq 0xff93
leaq 0x14bb0(%rip), %rsi     # 0x45cc7
movl $0x11, %edx
movq %r14, %rdi
callq 0xb530
movq 0x50(%rsp), %rdi
cmpq %rbx, %rdi
je 0x3113b
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x31152
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x70(%rsp), %rdi
cmpq %r13, %rdi
je 0x31733
movq 0x80(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x31733
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x1485c(%rip), %rdx     # 0x459e1
leaq 0x8(%rsp), %rdi
movq %rdx, %rsi
callq 0x31a82
movq 0x18(%r14), %r14
leaq 0x14b10(%rip), %rsi     # 0x45cad
movl $0x7, %edx
movq %r14, %rdi
callq 0xb530
movq 0x20(%rbx), %rax
cmpq $0x2, %rax
leaq 0x14b20(%rip), %rcx     # 0x45cd9
leaq 0x14b1f(%rip), %rdx     # 0x45cdf
cmoveq %rcx, %rdx
cmpq $0x1, %rax
leaq 0x14812(%rip), %r15     # 0x459e1
cmovneq %rdx, %r15
leaq 0x38(%rsp), %r12
movq %r12, -0x10(%r12)
movq %r15, %rdi
callq 0xb1a0
leaq (%rax,%r15), %rdx
leaq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x31a82
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %r14, %rdi
callq 0xb530
movq %rax, %r14
movq 0x20(%rbx), %r13
leaq 0xa8(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x14319(%rip), %rsi     # 0x4553b
leaq 0x1431b(%rip), %rdx     # 0x45544
leaq 0x98(%rsp), %rdi
callq 0x31a82
leaq 0x50(%rsp), %rdi
movq %r13, -0x8(%rdi)
leaq 0x60(%rsp), %r13
movq %r13, -0x10(%r13)
movq 0x98(%rsp), %rsi
movq 0xa0(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x48(%rsp), %rsi
movq %r14, %rdi
callq 0xff93
leaq 0x14a41(%rip), %rsi     # 0x45cb5
movl $0x9, %edx
movq %r14, %rdi
callq 0xb530
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r14, %rdi
callq 0xb530
movq %rax, %r14
movq 0x8(%rbx), %rbx
leaq 0xc8(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x14923(%rip), %rsi     # 0x45bd0
leaq 0x14925(%rip), %rdx     # 0x45bd9
leaq 0xb8(%rsp), %rdi
callq 0x31a82
leaq 0x78(%rsp), %rdi
movq %rbx, -0x8(%rdi)
leaq 0x88(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0xb8(%rsp), %rsi
movq 0xc0(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x70(%rsp), %rsi
movq %r14, %rdi
callq 0xff93
leaq 0x149d5(%rip), %rsi     # 0x45cd7
movl $0x1, %edx
movq %r14, %rdi
callq 0xb530
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x31329
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0xb8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x31346
movq 0xc8(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x50(%rsp), %rdi
cmpq %r13, %rdi
je 0x3135d
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x98(%rsp), %rdi
cmpq %r15, %rdi
je 0x3137a
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x31391
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x313ac
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
cmpb $0x0, 0x7(%rsp)
jne 0x31733
xorl %edi, %edi
callq 0xe19c
jmp 0x31733
testq %rax, %rax
je 0x31539
movb $0x0, 0x98(%rsp)
movl $0x12, %edi
callq 0xe19c
movq 0x18(%r14), %r14
leaq 0x148c4(%rip), %rsi     # 0x45cad
movl $0x7, %edx
movq %r14, %rdi
callq 0xb530
movq 0x20(%rbx), %r12
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x14131(%rip), %rsi     # 0x4553b
leaq 0x14133(%rip), %rdx     # 0x45544
leaq 0x8(%rsp), %rdi
callq 0x31a82
leaq 0x50(%rsp), %rdi
movq %r12, -0x8(%rdi)
leaq 0x60(%rsp), %r12
movq %r12, -0x10(%r12)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x48(%rsp), %rsi
movq %r14, %rdi
callq 0xff93
leaq 0x14861(%rip), %rsi     # 0x45cb5
movl $0x9, %edx
movq %r14, %rdi
callq 0xb530
movq 0x8(%rbx), %rbx
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x1475b(%rip), %rsi     # 0x45bd0
leaq 0x1475d(%rip), %rdx     # 0x45bd9
leaq 0x28(%rsp), %rdi
callq 0x31a82
leaq 0x78(%rsp), %rdi
movq %rbx, -0x8(%rdi)
leaq 0x88(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x70(%rsp), %rsi
movq %r14, %rdi
callq 0xff93
leaq 0x14816(%rip), %rsi     # 0x45cd7
movl $0x1, %edx
movq %r14, %rdi
callq 0xb530
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x314e8
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x314ff
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x50(%rsp), %rdi
cmpq %r12, %rdi
je 0x31516
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3152d
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
xorl %edi, %edi
callq 0xe19c
jmp 0x31733
movb $0x0, 0xb8(%rsp)
movl $0x13, %edi
callq 0xe19c
movq 0x18(%r14), %r14
leaq 0x14769(%rip), %rsi     # 0x45cbf
movl $0x7, %edx
movq %r14, %rdi
callq 0xb530
movq 0x18(%rbx), %rax
cmpq $0x2, %rax
leaq 0x14767(%rip), %rcx     # 0x45cd9
leaq 0x14766(%rip), %rdx     # 0x45cdf
cmoveq %rcx, %rdx
cmpq $0x1, %rax
leaq 0x14459(%rip), %r15     # 0x459e1
cmovneq %rdx, %r15
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
movq %r15, %rdi
callq 0xb1a0
leaq (%rax,%r15), %rdx
leaq 0x8(%rsp), %rdi
movq %r15, %rsi
callq 0x31a82
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r14, %rdi
callq 0xb530
movq %rax, %r14
movq 0x18(%rbx), %r13
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x13f63(%rip), %rsi     # 0x4553b
leaq 0x13f65(%rip), %rdx     # 0x45544
leaq 0x28(%rsp), %rdi
callq 0x31a82
leaq 0x50(%rsp), %rdi
movq %r13, -0x8(%rdi)
leaq 0x60(%rsp), %r13
movq %r13, -0x10(%r13)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x48(%rsp), %rsi
movq %r14, %rdi
callq 0xff93
leaq 0x14661(%rip), %rsi     # 0x45c82
movl $0x6, %edx
movq %r14, %rdi
callq 0xb530
movq (%rbx), %rbx
leaq 0xa8(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x1458c(%rip), %rsi     # 0x45bd0
leaq 0x1458e(%rip), %rdx     # 0x45bd9
leaq 0x98(%rsp), %rdi
callq 0x31a82
leaq 0x78(%rsp), %rdi
movq %rbx, -0x8(%rdi)
leaq 0x88(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x98(%rsp), %rsi
movq 0xa0(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
leaq 0x70(%rsp), %rsi
movq %r14, %rdi
callq 0xff93
leaq 0x1463e(%rip), %rsi     # 0x45cd7
movl $0x1, %edx
movq %r14, %rdi
callq 0xb530
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x316c0
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x98(%rsp), %rdi
cmpq %rbp, %rdi
je 0x316dd
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x50(%rsp), %rdi
cmpq %r13, %rdi
je 0x316f4
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x3170b
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x31722
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
cmpb $0x0, 0xb8(%rsp)
jne 0x31733
xorl %edi, %edi
callq 0xe19c
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x31822
movq %rax, %r14
jmp 0x317ae
jmp 0x317cd
movq %rax, %r14
jmp 0x317e7
jmp 0x3175b
movq %rax, %r14
jmp 0x317fe
jmp 0x31765
movq %rax, %r14
jmp 0x31815
jmp 0x31822
movq %rax, %r14
jmp 0x31863
jmp 0x3187c
movq %rax, %r14
jmp 0x31896
jmp 0x31789
movq %rax, %r14
jmp 0x318ad
movq %rax, %r14
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x317ae
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x98(%rsp), %rdi
cmpq %rbp, %rdi
je 0x317d0
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x317d0
movq %rax, %r14
movq 0x50(%rsp), %rdi
cmpq %r13, %rdi
je 0x317e7
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x317fe
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x31815
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0xb8(%rsp), %rdi
jmp 0x319de
movq %rax, %rdi
callq 0x14d37
movq %rax, %r14
jmp 0x318eb
jmp 0x31836
jmp 0x3183e
movq %rax, %r14
jmp 0x31902
movq %rax, %r14
jmp 0x319d9
movq %rax, %r14
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x31863
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x3187f
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x3187f
movq %rax, %r14
movq 0x50(%rsp), %rdi
cmpq %r12, %rdi
je 0x31896
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x318ad
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x98(%rsp), %rdi
jmp 0x319de
movq %rax, %r14
jmp 0x31951
jmp 0x31970
movq %rax, %r14
jmp 0x3198a
jmp 0x31925
movq %rax, %r14
movq 0x50(%rsp), %rdi
cmpq %rbx, %rdi
je 0x318eb
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x31902
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x70(%rsp), %rdi
cmpq %r13, %rdi
je 0x319e3
movq 0x80(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x319e3
movq %rax, %r14
jmp 0x319a7
jmp 0x3192c
movq %rax, %r14
jmp 0x319be
movq %rax, %r14
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x31951
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0xb8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x31973
movq 0xc8(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x31973
movq %rax, %r14
movq 0x50(%rsp), %rdi
cmpq %r13, %rdi
je 0x3198a
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x98(%rsp), %rdi
cmpq %r15, %rdi
je 0x319a7
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x319be
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x319d9
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x7(%rsp), %rdi
callq 0xe206
movq %r14, %rdi
callq 0xb820
nop