// File: 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
movq %rsp, %rbp
subq $0x400, %rsp            # imm = 0x400
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x2e0(%rbp)
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x266e0
cmpq $0x0, %rax
jne 0x5998d
movq -0x2e0(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x25365(%rip), %rsi     # 0x7ece8
callq 0xe670
jmp 0x5a43a
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x2e8(%rbp)
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x266e0
movq %rax, %rcx
movq -0x2e8(%rbp), %rax
cmpq %rcx, %rax
jne 0x59d54
leaq -0x11(%rbp), %rdi
movl $0x12, %esi
callq 0x11bf0
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x2f0(%rbp)
movq -0x10(%rbp), %rdi
callq 0x266e0
movq %rax, %rcx
movq -0x2f0(%rbp), %rax
movb $0x0, -0x46(%rbp)
cmpq %rcx, %rax
jne 0x59a11
movq -0x2e0(%rbp), %rsi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rdx
leaq -0x38(%rbp), %rdi
callq 0x5a450
jmp 0x59a0f
jmp 0x59a40
leaq -0x45(%rbp), %rdi
movq %rdi, -0x2f8(%rbp)
callq 0xeb70
movq -0x2f8(%rbp), %rdx
movb $0x1, -0x46(%rbp)
leaq 0x24ff7(%rip), %rsi     # 0x7ea2a
leaq -0x38(%rbp), %rdi
callq 0x18c80
jmp 0x59a3e
jmp 0x59a40
testb $0x1, -0x46(%rbp)
jne 0x59a48
jmp 0x59a51
leaq -0x45(%rbp), %rdi
callq 0xe710
movq -0x2e0(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x25293(%rip), %rsi     # 0x7ecf6
callq 0xe670
movq %rax, -0x300(%rbp)
jmp 0x59a71
movq -0x2e0(%rbp), %rsi
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdx
leaq -0x68(%rbp), %rdi
callq 0x5a450
jmp 0x59a8b
movq -0x300(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0xe5a0
movq %rax, -0x308(%rbp)
jmp 0x59aa4
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x318(%rbp)
leaq -0xb1(%rbp), %rdi
movq %rdi, -0x310(%rbp)
callq 0xeb70
movq -0x310(%rbp), %rdx
leaq 0x24ab0(%rip), %rsi     # 0x7e584
leaq -0xb0(%rbp), %rdi
callq 0x18c80
jmp 0x59ae2
movq -0x318(%rbp), %rsi
leaq -0x90(%rbp), %rdi
leaq -0xb0(%rbp), %rdx
callq 0x13c80
jmp 0x59afe
movq -0x308(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x13cc0
movq %rax, -0x320(%rbp)
jmp 0x59b1a
movq -0x320(%rbp), %rdi
leaq 0x251d6(%rip), %rsi     # 0x7ecfe
callq 0xe670
movq %rax, -0x328(%rbp)
jmp 0x59b36
movq -0x328(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0xe5a0
movq %rax, -0x330(%rbp)
jmp 0x59b4f
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x340(%rbp)
leaq -0x101(%rbp), %rdi
movq %rdi, -0x338(%rbp)
callq 0xeb70
movq -0x338(%rbp), %rdx
leaq 0x2509a(%rip), %rsi     # 0x7ec19
leaq -0x100(%rbp), %rdi
callq 0x18c80
jmp 0x59b8d
movq -0x340(%rbp), %rsi
leaq -0xe0(%rbp), %rdi
leaq -0x100(%rbp), %rdx
callq 0x13c80
jmp 0x59ba9
movq -0x330(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x13cc0
movq %rax, -0x348(%rbp)
jmp 0x59bc5
movq -0x348(%rbp), %rdi
leaq 0x2514d(%rip), %rsi     # 0x7ed20
callq 0xe670
jmp 0x59bda
leaq -0xe0(%rbp), %rdi
callq 0x46c80
leaq -0x100(%rbp), %rdi
callq 0xecd8
leaq -0x101(%rbp), %rdi
callq 0xe710
leaq -0x90(%rbp), %rdi
callq 0x46c80
leaq -0xb0(%rbp), %rdi
callq 0xecd8
leaq -0xb1(%rbp), %rdi
callq 0xe710
leaq -0x68(%rbp), %rdi
callq 0xecd8
leaq -0x38(%rbp), %rdi
callq 0xecd8
leaq -0x11(%rbp), %rdi
callq 0x11cf0
jmp 0x5a438
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59d46
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
testb $0x1, -0x46(%rbp)
jne 0x59c67
jmp 0x59c70
leaq -0x45(%rbp), %rdi
callq 0xe710
jmp 0x59d46
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59d3d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59d34
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59d28
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59d1c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59d10
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59d04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59cf8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x46c80
leaq -0x100(%rbp), %rdi
callq 0xecd8
leaq -0x101(%rbp), %rdi
callq 0xe710
leaq -0x90(%rbp), %rdi
callq 0x46c80
leaq -0xb0(%rbp), %rdi
callq 0xecd8
leaq -0xb1(%rbp), %rdi
callq 0xe710
leaq -0x68(%rbp), %rdi
callq 0xecd8
leaq -0x38(%rbp), %rdi
callq 0xecd8
leaq -0x11(%rbp), %rdi
callq 0x11cf0
jmp 0x5a443
movq -0x10(%rbp), %rdi
callq 0x266e0
cmpq $0x0, %rax
jne 0x59efb
movq -0x2e0(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x24f8f(%rip), %rsi     # 0x7ed08
callq 0xe670
movq %rax, -0x360(%rbp)
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x266e0
movq -0x2e0(%rbp), %rsi
movq %rax, %rdx
leaq -0x128(%rbp), %rdi
movq %rdi, -0x358(%rbp)
callq 0x5a450
movq -0x360(%rbp), %rdi
movq -0x358(%rbp), %rsi
callq 0xe5a0
movq %rax, -0x350(%rbp)
jmp 0x59dcb
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x266e0
movq %rax, -0x370(%rbp)
leaq -0x171(%rbp), %rdi
movq %rdi, -0x368(%rbp)
callq 0xeb70
movq -0x368(%rbp), %rdx
leaq 0x24784(%rip), %rsi     # 0x7e584
leaq -0x170(%rbp), %rdi
callq 0x18c80
jmp 0x59e0e
movq -0x370(%rbp), %rsi
leaq -0x150(%rbp), %rdi
leaq -0x170(%rbp), %rdx
callq 0x13c80
jmp 0x59e2a
movq -0x350(%rbp), %rdi
leaq -0x150(%rbp), %rsi
callq 0x13cc0
movq %rax, -0x378(%rbp)
jmp 0x59e46
movq -0x378(%rbp), %rdi
leaq 0x24ebc(%rip), %rsi     # 0x7ed10
callq 0xe670
jmp 0x59e5b
leaq -0x150(%rbp), %rdi
callq 0x46c80
leaq -0x170(%rbp), %rdi
callq 0xecd8
leaq -0x171(%rbp), %rdi
callq 0xe710
leaq -0x128(%rbp), %rdi
callq 0xecd8
jmp 0x5a436
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59eea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59ede
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x59ed2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x150(%rbp), %rdi
callq 0x46c80
leaq -0x170(%rbp), %rdi
callq 0xecd8
leaq -0x171(%rbp), %rdi
callq 0xe710
leaq -0x128(%rbp), %rdi
callq 0xecd8
jmp 0x5a443
movq -0x10(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x5a170
leaq -0x172(%rbp), %rdi
movl $0x12, %esi
callq 0x11bf0
movq -0x2e0(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x24dc9(%rip), %rsi     # 0x7ecf6
callq 0xe670
movq %rax, -0x380(%rbp)
jmp 0x59f3b
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x390(%rbp)
leaq -0x1c1(%rbp), %rdi
movq %rdi, -0x388(%rbp)
callq 0xeb70
movq -0x388(%rbp), %rdx
leaq 0x24619(%rip), %rsi     # 0x7e584
leaq -0x1c0(%rbp), %rdi
callq 0x18c80
jmp 0x59f79
movq -0x390(%rbp), %rsi
leaq -0x1a0(%rbp), %rdi
leaq -0x1c0(%rbp), %rdx
callq 0x13c80
jmp 0x59f95
movq -0x380(%rbp), %rdi
leaq -0x1a0(%rbp), %rsi
callq 0x13cc0
movq %rax, -0x398(%rbp)
jmp 0x59fb1
movq -0x398(%rbp), %rdi
leaq 0x24d3f(%rip), %rsi     # 0x7ecfe
callq 0xe670
movq %rax, -0x3a0(%rbp)
jmp 0x59fcd
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x3b0(%rbp)
leaq -0x211(%rbp), %rdi
movq %rdi, -0x3a8(%rbp)
callq 0xeb70
movq -0x3a8(%rbp), %rdx
leaq 0x24c1c(%rip), %rsi     # 0x7ec19
leaq -0x210(%rbp), %rdi
callq 0x18c80
jmp 0x5a00b
movq -0x3b0(%rbp), %rsi
leaq -0x1f0(%rbp), %rdi
leaq -0x210(%rbp), %rdx
callq 0x13c80
jmp 0x5a027
movq -0x3a0(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0x13cc0
movq %rax, -0x3b8(%rbp)
jmp 0x5a043
movq -0x3b8(%rbp), %rdi
leaq 0x24ccf(%rip), %rsi     # 0x7ed20
callq 0xe670
jmp 0x5a058
leaq -0x1f0(%rbp), %rdi
callq 0x46c80
leaq -0x210(%rbp), %rdi
callq 0xecd8
leaq -0x211(%rbp), %rdi
callq 0xe710
leaq -0x1a0(%rbp), %rdi
callq 0x46c80
leaq -0x1c0(%rbp), %rdi
callq 0xecd8
leaq -0x1c1(%rbp), %rdi
callq 0xe710
leaq -0x172(%rbp), %rdi
callq 0x11cf0
jmp 0x5a434
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a15f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a153
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a147
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a13b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a12f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a123
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1f0(%rbp), %rdi
callq 0x46c80
leaq -0x210(%rbp), %rdi
callq 0xecd8
leaq -0x211(%rbp), %rdi
callq 0xe710
leaq -0x1a0(%rbp), %rdi
callq 0x46c80
leaq -0x1c0(%rbp), %rdi
callq 0xecd8
leaq -0x1c1(%rbp), %rdi
callq 0xe710
leaq -0x172(%rbp), %rdi
callq 0x11cf0
jmp 0x5a443
leaq -0x212(%rbp), %rdi
movl $0x13, %esi
callq 0x11bf0
movq -0x2e0(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x24b75(%rip), %rsi     # 0x7ed08
callq 0xe670
movq %rax, -0x3c0(%rbp)
jmp 0x5a1a1
movq -0x2e0(%rbp), %rsi
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rdx
leaq -0x238(%rbp), %rdi
callq 0x5a450
jmp 0x5a1be
movq -0x3c0(%rbp), %rdi
leaq -0x238(%rbp), %rsi
callq 0xe5a0
movq %rax, -0x3c8(%rbp)
jmp 0x5a1da
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x3d8(%rbp)
leaq -0x281(%rbp), %rdi
movq %rdi, -0x3d0(%rbp)
callq 0xeb70
movq -0x3d0(%rbp), %rdx
leaq 0x2437a(%rip), %rsi     # 0x7e584
leaq -0x280(%rbp), %rdi
callq 0x18c80
jmp 0x5a218
movq -0x3d8(%rbp), %rsi
leaq -0x260(%rbp), %rdi
leaq -0x280(%rbp), %rdx
callq 0x13c80
jmp 0x5a234
movq -0x3c8(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0x13cc0
movq %rax, -0x3e0(%rbp)
jmp 0x5a250
movq -0x3e0(%rbp), %rdi
leaq 0x24a6d(%rip), %rsi     # 0x7eccb
callq 0xe670
movq %rax, -0x3e8(%rbp)
jmp 0x5a26c
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x3f8(%rbp)
leaq -0x2d1(%rbp), %rdi
movq %rdi, -0x3f0(%rbp)
callq 0xeb70
movq -0x3f0(%rbp), %rdx
leaq 0x2497e(%rip), %rsi     # 0x7ec19
leaq -0x2d0(%rbp), %rdi
callq 0x18c80
jmp 0x5a2a9
movq -0x3f8(%rbp), %rsi
leaq -0x2b0(%rbp), %rdi
leaq -0x2d0(%rbp), %rdx
callq 0x13c80
jmp 0x5a2c5
movq -0x3e8(%rbp), %rdi
leaq -0x2b0(%rbp), %rsi
callq 0x13cc0
movq %rax, -0x400(%rbp)
jmp 0x5a2e1
movq -0x400(%rbp), %rdi
leaq 0x24a31(%rip), %rsi     # 0x7ed20
callq 0xe670
jmp 0x5a2f6
leaq -0x2b0(%rbp), %rdi
callq 0x46c80
leaq -0x2d0(%rbp), %rdi
callq 0xecd8
leaq -0x2d1(%rbp), %rdi
callq 0xe710
leaq -0x260(%rbp), %rdi
callq 0x46c80
leaq -0x280(%rbp), %rdi
callq 0xecd8
leaq -0x281(%rbp), %rdi
callq 0xe710
leaq -0x238(%rbp), %rdi
callq 0xecd8
leaq -0x212(%rbp), %rdi
callq 0x11cf0
jmp 0x5a434
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a426
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a41a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a40e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a402
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a3f6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a3ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5a3de
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x2b0(%rbp), %rdi
callq 0x46c80
leaq -0x2d0(%rbp), %rdi
callq 0xecd8
leaq -0x2d1(%rbp), %rdi
callq 0xe710
leaq -0x260(%rbp), %rdi
callq 0x46c80
leaq -0x280(%rbp), %rdi
callq 0xecd8
leaq -0x281(%rbp), %rdi
callq 0xe710
leaq -0x238(%rbp), %rdi
callq 0xecd8
leaq -0x212(%rbp), %rdi
callq 0x11cf0
jmp 0x5a443
jmp 0x5a436
jmp 0x5a438
jmp 0x5a43a
addq $0x400, %rsp            # imm = 0x400
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0xeb60
nopl (%rax)