// File: /workspace/github_cpp_makefile_star2_O1/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
addq 0x18(%rsi), %rax
addq 0x28(%rsi), %rax
je 0x322ef
movq %rsi, %rbx
cmpq %rax, 0x20(%rsi)
jne 0x32315
movb $0x0, 0x7(%rsp)
movl $0x12, %edi
callq 0xf168
movq 0x8(%rbx), %rax
movq (%rbx), %rcx
addq %rax, %rcx
addq 0x10(%rbx), %rcx
cmpq %rcx, %rax
jne 0x32477
cmpq $0x2, %rax
leaq 0x15a2b(%rip), %rcx     # 0x47cd9
leaq 0x15a2a(%rip), %rdx     # 0x47cdf
cmoveq %rcx, %rdx
cmpq $0x1, %rax
leaq 0x1571d(%rip), %r15     # 0x479e1
cmovneq %rdx, %r15
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
movq %r15, %rdi
callq 0xc1a0
leaq (%rax,%r15), %rdx
leaq 0x8(%rsp), %rdi
movq %r15, %rsi
callq 0x32d7e
jmp 0x32494
movq 0x18(%r14), %rdi
leaq 0x159a5(%rip), %rsi     # 0x47c9f
movl $0xd, %edx
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xc530
movq 0x8(%rbx), %rax
movq (%rbx), %rcx
addq %rax, %rcx
addq 0x10(%rbx), %rcx
jne 0x326c5
movq 0x18(%r14), %r14
leaq 0x1598b(%rip), %rsi     # 0x47cbf
movl $0x7, %edx
movq %r14, %rdi
callq 0xc530
movq 0x20(%rbx), %rax
addq 0x18(%rbx), %rax
addq 0x28(%rbx), %rax
cmpq $0x2, %rax
leaq 0x15981(%rip), %rcx     # 0x47cd9
leaq 0x15980(%rip), %rdx     # 0x47cdf
cmoveq %rcx, %rdx
cmpq $0x1, %rax
leaq 0x15673(%rip), %r15     # 0x479e1
cmovneq %rdx, %r15
leaq 0x80(%rsp), %r13
movq %r13, -0x10(%r13)
movq %r15, %rdi
callq 0xc1a0
leaq (%rax,%r15), %rdx
leaq 0x70(%rsp), %r12
movq %r12, %rdi
movq %r15, %rsi
callq 0x32d7e
movq (%r12), %rsi
movq 0x8(%r12), %rdx
movq %r14, %rdi
callq 0xc530
movq %rax, %r14
movq 0x18(%rbx), %rbp
movq 0x20(%rbx), %r12
movq 0x28(%rbx), %rbx
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x15171(%rip), %rsi     # 0x4753b
leaq 0x15173(%rip), %rdx     # 0x47544
leaq 0x8(%rsp), %rdi
callq 0x32d7e
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 0x32cee
leaq 0x48(%rsp), %rsi
movq %r14, %rdi
callq 0x10f8f
leaq 0x158ae(%rip), %rsi     # 0x47cc7
movl $0x11, %edx
movq %r14, %rdi
callq 0xc530
movq 0x50(%rsp), %rdi
cmpq %rbx, %rdi
je 0x3243d
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x32454
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x70(%rsp), %rdi
cmpq %r13, %rdi
je 0x32a35
movq 0x80(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x32a35
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x1555a(%rip), %rdx     # 0x479e1
leaq 0x8(%rsp), %rdi
movq %rdx, %rsi
callq 0x32d7e
movq 0x18(%r14), %r14
leaq 0x1580e(%rip), %rsi     # 0x47cad
movl $0x7, %edx
movq %r14, %rdi
callq 0xc530
movq 0x20(%rbx), %rax
cmpq $0x2, %rax
leaq 0x1581e(%rip), %rcx     # 0x47cd9
leaq 0x1581d(%rip), %rdx     # 0x47cdf
cmoveq %rcx, %rdx
cmpq $0x1, %rax
leaq 0x15510(%rip), %r15     # 0x479e1
cmovneq %rdx, %r15
leaq 0x38(%rsp), %r12
movq %r12, -0x10(%r12)
movq %r15, %rdi
callq 0xc1a0
leaq (%rax,%r15), %rdx
leaq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x32d7e
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %r14, %rdi
callq 0xc530
movq %rax, %r14
movq 0x20(%rbx), %r13
leaq 0xa8(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x15017(%rip), %rsi     # 0x4753b
leaq 0x15019(%rip), %rdx     # 0x47544
leaq 0x98(%rsp), %rdi
callq 0x32d7e
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 0x32cee
leaq 0x48(%rsp), %rsi
movq %r14, %rdi
callq 0x10f8f
leaq 0x1573f(%rip), %rsi     # 0x47cb5
movl $0x9, %edx
movq %r14, %rdi
callq 0xc530
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r14, %rdi
callq 0xc530
movq %rax, %r14
movq 0x8(%rbx), %rbx
leaq 0xc8(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x15621(%rip), %rsi     # 0x47bd0
leaq 0x15623(%rip), %rdx     # 0x47bd9
leaq 0xb8(%rsp), %rdi
callq 0x32d7e
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 0x32cee
leaq 0x70(%rsp), %rsi
movq %r14, %rdi
callq 0x10f8f
leaq 0x156d3(%rip), %rsi     # 0x47cd7
movl $0x1, %edx
movq %r14, %rdi
callq 0xc530
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x3262b
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0xb8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x32648
movq 0xc8(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x50(%rsp), %rdi
cmpq %r13, %rdi
je 0x3265f
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x98(%rsp), %rdi
cmpq %r15, %rdi
je 0x3267c
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x32693
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x326ae
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
cmpb $0x0, 0x7(%rsp)
jne 0x32a35
xorl %edi, %edi
callq 0xf168
jmp 0x32a35
testq %rax, %rax
je 0x3283b
movb $0x0, 0x98(%rsp)
movl $0x12, %edi
callq 0xf168
movq 0x18(%r14), %r14
leaq 0x155c2(%rip), %rsi     # 0x47cad
movl $0x7, %edx
movq %r14, %rdi
callq 0xc530
movq 0x20(%rbx), %r12
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x14e2f(%rip), %rsi     # 0x4753b
leaq 0x14e31(%rip), %rdx     # 0x47544
leaq 0x8(%rsp), %rdi
callq 0x32d7e
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 0x32cee
leaq 0x48(%rsp), %rsi
movq %r14, %rdi
callq 0x10f8f
leaq 0x1555f(%rip), %rsi     # 0x47cb5
movl $0x9, %edx
movq %r14, %rdi
callq 0xc530
movq 0x8(%rbx), %rbx
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x15459(%rip), %rsi     # 0x47bd0
leaq 0x1545b(%rip), %rdx     # 0x47bd9
leaq 0x28(%rsp), %rdi
callq 0x32d7e
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 0x32cee
leaq 0x70(%rsp), %rsi
movq %r14, %rdi
callq 0x10f8f
leaq 0x15514(%rip), %rsi     # 0x47cd7
movl $0x1, %edx
movq %r14, %rdi
callq 0xc530
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x327ea
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x32801
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x50(%rsp), %rdi
cmpq %r12, %rdi
je 0x32818
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3282f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
xorl %edi, %edi
callq 0xf168
jmp 0x32a35
movb $0x0, 0xb8(%rsp)
movl $0x13, %edi
callq 0xf168
movq 0x18(%r14), %r14
leaq 0x15467(%rip), %rsi     # 0x47cbf
movl $0x7, %edx
movq %r14, %rdi
callq 0xc530
movq 0x18(%rbx), %rax
cmpq $0x2, %rax
leaq 0x15465(%rip), %rcx     # 0x47cd9
leaq 0x15464(%rip), %rdx     # 0x47cdf
cmoveq %rcx, %rdx
cmpq $0x1, %rax
leaq 0x15157(%rip), %r15     # 0x479e1
cmovneq %rdx, %r15
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
movq %r15, %rdi
callq 0xc1a0
leaq (%rax,%r15), %rdx
leaq 0x8(%rsp), %rdi
movq %r15, %rsi
callq 0x32d7e
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r14, %rdi
callq 0xc530
movq %rax, %r14
movq 0x18(%rbx), %r13
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x14c61(%rip), %rsi     # 0x4753b
leaq 0x14c63(%rip), %rdx     # 0x47544
leaq 0x28(%rsp), %rdi
callq 0x32d7e
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 0x32cee
leaq 0x48(%rsp), %rsi
movq %r14, %rdi
callq 0x10f8f
leaq 0x1535f(%rip), %rsi     # 0x47c82
movl $0x6, %edx
movq %r14, %rdi
callq 0xc530
movq (%rbx), %rbx
leaq 0xa8(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x1528a(%rip), %rsi     # 0x47bd0
leaq 0x1528c(%rip), %rdx     # 0x47bd9
leaq 0x98(%rsp), %rdi
callq 0x32d7e
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 0x32cee
leaq 0x70(%rsp), %rsi
movq %r14, %rdi
callq 0x10f8f
leaq 0x1533c(%rip), %rsi     # 0x47cd7
movl $0x1, %edx
movq %r14, %rdi
callq 0xc530
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x329c2
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x98(%rsp), %rdi
cmpq %rbp, %rdi
je 0x329df
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x50(%rsp), %rdi
cmpq %r13, %rdi
je 0x329f6
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x32a0d
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x32a24
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
cmpb $0x0, 0xb8(%rsp)
jne 0x32a35
xorl %edi, %edi
callq 0xf168
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x32b24
movq %rax, %r14
jmp 0x32ab0
jmp 0x32acf
movq %rax, %r14
jmp 0x32ae9
jmp 0x32a5d
movq %rax, %r14
jmp 0x32b00
jmp 0x32a67
movq %rax, %r14
jmp 0x32b17
jmp 0x32b24
movq %rax, %r14
jmp 0x32b65
jmp 0x32b7e
movq %rax, %r14
jmp 0x32b98
jmp 0x32a8b
movq %rax, %r14
jmp 0x32baf
movq %rax, %r14
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x32ab0
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x98(%rsp), %rdi
cmpq %rbp, %rdi
je 0x32ad2
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x32ad2
movq %rax, %r14
movq 0x50(%rsp), %rdi
cmpq %r13, %rdi
je 0x32ae9
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x32b00
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x32b17
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0xb8(%rsp), %rdi
jmp 0x32ce0
movq %rax, %rdi
callq 0x15d1b
movq %rax, %r14
jmp 0x32bed
jmp 0x32b38
jmp 0x32b40
movq %rax, %r14
jmp 0x32c04
movq %rax, %r14
jmp 0x32cdb
movq %rax, %r14
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x32b65
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x32b81
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x32b81
movq %rax, %r14
movq 0x50(%rsp), %rdi
cmpq %r12, %rdi
je 0x32b98
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x32baf
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x98(%rsp), %rdi
jmp 0x32ce0
movq %rax, %r14
jmp 0x32c53
jmp 0x32c72
movq %rax, %r14
jmp 0x32c8c
jmp 0x32c27
movq %rax, %r14
movq 0x50(%rsp), %rdi
cmpq %rbx, %rdi
je 0x32bed
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x32c04
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x70(%rsp), %rdi
cmpq %r13, %rdi
je 0x32ce5
movq 0x80(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x32ce5
movq %rax, %r14
jmp 0x32ca9
jmp 0x32c2e
movq %rax, %r14
jmp 0x32cc0
movq %rax, %r14
movq 0x78(%rsp), %rdi
cmpq %rbx, %rdi
je 0x32c53
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0xb8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x32c75
movq 0xc8(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x32c75
movq %rax, %r14
movq 0x50(%rsp), %rdi
cmpq %r13, %rdi
je 0x32c8c
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x98(%rsp), %rdi
cmpq %r15, %rdi
je 0x32ca9
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x32cc0
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x32cdb
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x7(%rsp), %rdi
callq 0xf1d2
movq %r14, %rdi
callq 0xc820
nop