// File: /workspace/github_cpp_makefile_star2_O2/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 %r15
pushq %r14
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 0x27c2a
movq %rsi, %rbx
cmpq %rcx, %rax
jne 0x27c48
movb $0x0, 0x5(%rsp)
pushq $0x12
popq %rdi
callq 0xe4b0
movq 0x8(%rbx), %rdx
movq (%rbx), %rax
addq %rdx, %rax
addq 0x10(%rbx), %rax
cmpq %rax, %rdx
jne 0x27d20
leaq 0x8(%rsp), %rdi
movq %r14, %rsi
callq 0x281e2
jmp 0x27d39
movq 0x18(%r14), %rdi
leaq 0xf07b(%rip), %rsi      # 0x36cb0
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xc4d0
movq 0x8(%rbx), %rax
movq (%rbx), %rcx
addq %rax, %rcx
addq 0x10(%rbx), %rcx
jne 0x27e64
movq 0x18(%r14), %rdi
leaq 0xf069(%rip), %rsi      # 0x36cd0
callq 0xc4d0
movq %rax, %r15
movq 0x20(%rbx), %rdx
addq 0x18(%rbx), %rdx
addq 0x28(%rbx), %rdx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0x281e2
movq %r15, %rdi
movq %r12, %rsi
callq 0xc430
movq %rax, %r14
movq 0x18(%rbx), %r15
movq 0x20(%rbx), %r12
movq 0x28(%rbx), %rbx
leaq 0xe89d(%rip), %rsi      # 0x3654c
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %rdx
callq 0x11b1a
addq %r15, %r12
addq %rbx, %r12
leaq 0xb8(%rsp), %r15
movq %r12, -0x8(%r15)
leaq 0x8(%rsp), %rsi
movq %r15, %rdi
callq 0xc650
leaq 0xb0(%rsp), %rsi
movq %r14, %rdi
callq 0xf60b
leaq 0xefe4(%rip), %rsi      # 0x36cd8
movq %r14, %rdi
callq 0xc4d0
movq %r15, %rdi
callq 0xc978
leaq 0x8(%rsp), %rdi
callq 0xc978
leaq 0x88(%rsp), %rdi
callq 0xc978
jmp 0x28083
leaq 0xeccb(%rip), %rsi      # 0x369f2
leaq 0x8(%rsp), %rdi
leaq 0xb0(%rsp), %rdx
callq 0x11b1a
movq 0x18(%r14), %rdi
leaq 0xef7a(%rip), %rsi      # 0x36cbe
callq 0xc4d0
movq %rax, %r15
movq 0x20(%rbx), %rdx
leaq 0x28(%rsp), %rdi
movq %r14, %rsi
callq 0x281e2
leaq 0x28(%rsp), %rsi
movq %r15, %rdi
callq 0xc430
movq %rax, %r15
movq 0x20(%rbx), %r12
leaq 0xe7d4(%rip), %rsi      # 0x3654c
leaq 0x48(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x11b1a
leaq 0xb8(%rsp), %r14
movq %r12, -0x8(%r14)
leaq 0x48(%rsp), %rsi
movq %r14, %rdi
callq 0xc650
leaq 0xb0(%rsp), %rsi
movq %r15, %rdi
callq 0xf60b
leaq 0xef0f(%rip), %rsi      # 0x36cc6
movq %r15, %rdi
callq 0xc4d0
leaq 0x8(%rsp), %rsi
movq %rax, %rdi
callq 0xc430
movq %rax, %r15
movq 0x8(%rbx), %rbx
leaq 0xee07(%rip), %rsi      # 0x36be1
leaq 0x68(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x11b1a
leaq 0x90(%rsp), %r12
movq %rbx, -0x8(%r12)
leaq 0x68(%rsp), %rsi
movq %r12, %rdi
callq 0xc650
leaq 0x88(%rsp), %rsi
movq %r15, %rdi
callq 0xf60b
leaq 0xeece(%rip), %rsi      # 0x36ce8
movq %r15, %rdi
callq 0xc4d0
movq %r12, %rdi
callq 0xc978
leaq 0x68(%rsp), %rdi
callq 0xc978
movq %r14, %rdi
callq 0xc978
leaq 0x48(%rsp), %rdi
callq 0xc978
leaq 0x28(%rsp), %rdi
callq 0xc978
leaq 0x8(%rsp), %rdi
callq 0xc978
leaq 0x5(%rsp), %rdi
jmp 0x2807e
testq %rax, %rax
je 0x27f63
movb $0x0, 0x48(%rsp)
pushq $0x12
popq %rdi
callq 0xe4b0
movq 0x18(%r14), %rdi
leaq 0xee39(%rip), %rsi      # 0x36cbe
callq 0xc4d0
movq %rax, %r15
movq 0x20(%rbx), %r12
leaq 0xe6b4(%rip), %rsi      # 0x3654c
leaq 0x8(%rsp), %rdi
leaq 0x68(%rsp), %rdx
callq 0x11b1a
leaq 0xb8(%rsp), %r14
movq %r12, -0x8(%r14)
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0xc650
leaq 0xb0(%rsp), %rsi
movq %r15, %rdi
callq 0xf60b
leaq 0xedef(%rip), %rsi      # 0x36cc6
movq %r15, %rdi
callq 0xc4d0
movq %rax, %r15
movq 0x8(%rbx), %rbx
leaq 0xecf4(%rip), %rsi      # 0x36be1
leaq 0x28(%rsp), %rdi
leaq 0x5(%rsp), %rdx
callq 0x11b1a
leaq 0x90(%rsp), %r12
movq %rbx, -0x8(%r12)
leaq 0x28(%rsp), %rsi
movq %r12, %rdi
callq 0xc650
leaq 0x88(%rsp), %rsi
movq %r15, %rdi
callq 0xf60b
leaq 0xedbb(%rip), %rsi      # 0x36ce8
movq %r15, %rdi
callq 0xc4d0
movq %r12, %rdi
callq 0xc978
leaq 0x28(%rsp), %rdi
callq 0xc978
movq %r14, %rdi
callq 0xc978
leaq 0x8(%rsp), %rdi
callq 0xc978
leaq 0x48(%rsp), %rdi
jmp 0x2807e
movb $0x0, 0x68(%rsp)
pushq $0x13
popq %rdi
callq 0xe4b0
movq 0x18(%r14), %rdi
leaq 0xed55(%rip), %rsi      # 0x36cd0
callq 0xc4d0
movq %rax, %r15
movq 0x18(%rbx), %rdx
leaq 0x8(%rsp), %rdi
movq %r14, %rsi
callq 0x281e2
leaq 0x8(%rsp), %rsi
movq %r15, %rdi
callq 0xc430
movq %rax, %r15
movq 0x18(%rbx), %r12
leaq 0xe59d(%rip), %rsi      # 0x3654c
leaq 0x28(%rsp), %rdi
leaq 0x5(%rsp), %rdx
callq 0x11b1a
leaq 0xb8(%rsp), %r14
movq %r12, -0x8(%r14)
leaq 0x28(%rsp), %rsi
movq %r14, %rdi
callq 0xc650
leaq 0xb0(%rsp), %rsi
movq %r15, %rdi
callq 0xf60b
leaq 0xeca5(%rip), %rsi      # 0x36c93
movq %r15, %rdi
callq 0xc4d0
movq %rax, %r15
movq (%rbx), %rbx
leaq 0xebde(%rip), %rsi      # 0x36be1
leaq 0x48(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x11b1a
leaq 0x90(%rsp), %r12
movq %rbx, -0x8(%r12)
leaq 0x48(%rsp), %rsi
movq %r12, %rdi
callq 0xc650
leaq 0x88(%rsp), %rsi
movq %r15, %rdi
callq 0xf60b
leaq 0xeca5(%rip), %rsi      # 0x36ce8
movq %r15, %rdi
callq 0xc4d0
movq %r12, %rdi
callq 0xc978
leaq 0x48(%rsp), %rdi
callq 0xc978
movq %r14, %rdi
callq 0xc978
leaq 0x28(%rsp), %rdi
callq 0xc978
leaq 0x8(%rsp), %rdi
callq 0xc978
leaq 0x68(%rsp), %rdi
callq 0xe5a2
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
jmp 0x280d0
jmp 0x280dc
movq %rax, %rbx
jmp 0x280e7
jmp 0x280a0
movq %rax, %rbx
jmp 0x280f1
jmp 0x280a7
movq %rax, %rbx
jmp 0x280fb
movq %rax, %rbx
jmp 0x28126
jmp 0x28132
movq %rax, %rbx
jmp 0x2813d
jmp 0x280bd
movq %rax, %rbx
jmp 0x28147
movq %rax, %rbx
movq %r12, %rdi
callq 0xc978
leaq 0x48(%rsp), %rdi
callq 0xc978
jmp 0x280df
movq %rax, %rbx
movq %r14, %rdi
callq 0xc978
leaq 0x28(%rsp), %rdi
callq 0xc978
leaq 0x8(%rsp), %rdi
callq 0xc978
leaq 0x68(%rsp), %rdi
jmp 0x281d4
movq %rax, %rbx
jmp 0x2816a
jmp 0x2810e
jmp 0x28113
movq %rax, %rbx
jmp 0x28174
movq %rax, %rbx
jmp 0x281cf
movq %rax, %rbx
movq %r12, %rdi
callq 0xc978
leaq 0x28(%rsp), %rdi
callq 0xc978
jmp 0x28135
movq %rax, %rbx
movq %r14, %rdi
callq 0xc978
leaq 0x8(%rsp), %rdi
callq 0xc978
leaq 0x48(%rsp), %rdi
jmp 0x281d4
movq %rax, %rbx
jmp 0x2819a
jmp 0x281a6
movq %rax, %rbx
jmp 0x281b1
jmp 0x28183
movq %rax, %rbx
movq %r15, %rdi
callq 0xc978
leaq 0x8(%rsp), %rdi
callq 0xc978
leaq 0x88(%rsp), %rdi
callq 0xc978
jmp 0x281d9
movq %rax, %rbx
jmp 0x281bb
jmp 0x2818a
movq %rax, %rbx
jmp 0x281c5
movq %rax, %rbx
movq %r12, %rdi
callq 0xc978
leaq 0x68(%rsp), %rdi
callq 0xc978
jmp 0x281a9
movq %rax, %rbx
movq %r14, %rdi
callq 0xc978
leaq 0x48(%rsp), %rdi
callq 0xc978
leaq 0x28(%rsp), %rdi
callq 0xc978
leaq 0x8(%rsp), %rdi
callq 0xc978
leaq 0x5(%rsp), %rdi
callq 0xe5a2
movq %rbx, %rdi
callq 0xc840
nop