// File: dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::ConsoleReporter::printTotalsDivider(Catch::Totals const&)
void printTotalsDivider( Totals const& totals ) {
            if( totals.testCases.total() > 0 ) {
                std::size_t failedRatio = makeRatio( totals.testCases.failed, totals.testCases.total() );
                std::size_t failedButOkRatio = makeRatio( totals.testCases.failedButOk, totals.testCases.total() );
                std::size_t passedRatio = makeRatio( totals.testCases.passed, totals.testCases.total() );
                while( failedRatio + failedButOkRatio + passedRatio < CATCH_CONFIG_CONSOLE_WIDTH-1 )
                    findMax( failedRatio, failedButOkRatio, passedRatio )++;
                while( failedRatio + failedButOkRatio + passedRatio > CATCH_CONFIG_CONSOLE_WIDTH-1 )
                    findMax( failedRatio, failedButOkRatio, passedRatio )--;

                stream << Colour( Colour::Error ) << std::string( failedRatio, '=' );
                stream << Colour( Colour::ResultExpectedFailure ) << std::string( failedButOkRatio, '=' );
                if( totals.testCases.allPassed() )
                    stream << Colour( Colour::ResultSuccess ) << std::string( passedRatio, '=' );
                else
                    stream << Colour( Colour::Success ) << std::string( passedRatio, '=' );
            }
            else {
                stream << Colour( Colour::Warning ) << std::string( CATCH_CONFIG_CONSOLE_WIDTH-1, '=' );
            }
            stream << "\n";
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1f0, %rsp            # imm = 0x1F0
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x110(%rbp)
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x266e0
cmpq $0x0, %rax
jbe 0x582c9
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x128(%rbp)
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x266e0
movq -0x128(%rbp), %rdi
movq %rax, %rsi
callq 0x583f0
movq %rax, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq %rax, -0x120(%rbp)
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x266e0
movq -0x120(%rbp), %rdi
movq %rax, %rsi
callq 0x583f0
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x118(%rbp)
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x266e0
movq -0x118(%rbp), %rdi
movq %rax, %rsi
callq 0x583f0
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rax
addq -0x20(%rbp), %rax
addq -0x28(%rbp), %rax
cmpq $0x4f, %rax
jae 0x57ea1
leaq -0x18(%rbp), %rdi
leaq -0x20(%rbp), %rsi
leaq -0x28(%rbp), %rdx
callq 0x58450
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
jmp 0x57e72
jmp 0x57ea3
movq -0x18(%rbp), %rax
addq -0x20(%rbp), %rax
addq -0x28(%rbp), %rax
cmpq $0x4f, %rax
jbe 0x57ed2
leaq -0x18(%rbp), %rdi
leaq -0x20(%rbp), %rsi
leaq -0x28(%rbp), %rdx
callq 0x58450
movq (%rax), %rcx
addq $-0x1, %rcx
movq %rcx, (%rax)
jmp 0x57ea3
movq -0x110(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x150(%rbp)
leaq -0x29(%rbp), %rdi
movq %rdi, -0x148(%rbp)
movl $0x12, %esi
callq 0x11bf0
movq -0x150(%rbp), %rdi
movq -0x148(%rbp), %rsi
callq 0x1a390
movq %rax, -0x140(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x138(%rbp)
leaq -0x51(%rbp), %rdi
movq %rdi, -0x130(%rbp)
callq 0xeb70
movq -0x138(%rbp), %rsi
movq -0x130(%rbp), %rcx
leaq -0x50(%rbp), %rdi
movl $0x3d, %edx
callq 0x437d0
jmp 0x57f4c
movq -0x140(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe5a0
jmp 0x57f5e
leaq -0x50(%rbp), %rdi
callq 0xecd8
leaq -0x51(%rbp), %rdi
callq 0xe710
leaq -0x29(%rbp), %rdi
callq 0x11cf0
movq -0x110(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x178(%rbp)
leaq -0x65(%rbp), %rdi
movq %rdi, -0x170(%rbp)
movl $0x6, %esi
callq 0x11bf0
movq -0x178(%rbp), %rdi
movq -0x170(%rbp), %rsi
callq 0x1a390
movq %rax, -0x168(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x160(%rbp)
leaq -0x89(%rbp), %rdi
movq %rdi, -0x158(%rbp)
callq 0xeb70
movq -0x160(%rbp), %rsi
movq -0x158(%rbp), %rcx
leaq -0x88(%rbp), %rdi
movl $0x3d, %edx
callq 0x437d0
jmp 0x57ff9
movq -0x168(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0xe5a0
jmp 0x5800e
leaq -0x88(%rbp), %rdi
callq 0xecd8
leaq -0x89(%rbp), %rdi
callq 0xe710
leaq -0x65(%rbp), %rdi
callq 0x11cf0
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x56980
testb $0x1, %al
jne 0x58045
jmp 0x581c3
movq -0x110(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x1a0(%rbp)
leaq -0x8a(%rbp), %rdi
movq %rdi, -0x198(%rbp)
movl $0x13, %esi
callq 0x11bf0
movq -0x1a0(%rbp), %rdi
movq -0x198(%rbp), %rsi
callq 0x1a390
movq %rax, -0x190(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x188(%rbp)
leaq -0xb1(%rbp), %rdi
movq %rdi, -0x180(%rbp)
callq 0xeb70
movq -0x188(%rbp), %rsi
movq -0x180(%rbp), %rcx
leaq -0xb0(%rbp), %rdi
movl $0x3d, %edx
callq 0x437d0
jmp 0x580c8
movq -0x190(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0xe5a0
jmp 0x580dd
leaq -0xb0(%rbp), %rdi
callq 0xecd8
leaq -0xb1(%rbp), %rdi
callq 0xe710
leaq -0x8a(%rbp), %rdi
callq 0x11cf0
jmp 0x582c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x58129
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x50(%rbp), %rdi
callq 0xecd8
leaq -0x51(%rbp), %rdi
callq 0xe710
leaq -0x29(%rbp), %rdi
callq 0x11cf0
jmp 0x583da
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x58166
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x88(%rbp), %rdi
callq 0xecd8
leaq -0x89(%rbp), %rdi
callq 0xe710
leaq -0x65(%rbp), %rdi
callq 0x11cf0
jmp 0x583da
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x581a6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0xecd8
leaq -0xb1(%rbp), %rdi
callq 0xe710
leaq -0x8a(%rbp), %rdi
callq 0x11cf0
jmp 0x583da
movq -0x110(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x1c8(%rbp)
leaq -0xb2(%rbp), %rdi
movq %rdi, -0x1c0(%rbp)
movl $0x3, %esi
callq 0x11bf0
movq -0x1c8(%rbp), %rdi
movq -0x1c0(%rbp), %rsi
callq 0x1a390
movq %rax, -0x1b8(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x1b0(%rbp)
leaq -0xd9(%rbp), %rdi
movq %rdi, -0x1a8(%rbp)
callq 0xeb70
movq -0x1b0(%rbp), %rsi
movq -0x1a8(%rbp), %rcx
leaq -0xd8(%rbp), %rdi
movl $0x3d, %edx
callq 0x437d0
jmp 0x58246
movq -0x1b8(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0xe5a0
jmp 0x5825b
leaq -0xd8(%rbp), %rdi
callq 0xecd8
leaq -0xd9(%rbp), %rdi
callq 0xe710
leaq -0xb2(%rbp), %rdi
callq 0x11cf0
jmp 0x582c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x582a7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0xd8(%rbp), %rdi
callq 0xecd8
leaq -0xd9(%rbp), %rdi
callq 0xe710
leaq -0xb2(%rbp), %rdi
callq 0x11cf0
jmp 0x583da
jmp 0x583ba
movq -0x110(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x1e8(%rbp)
leaq -0xda(%rbp), %rdi
movq %rdi, -0x1e0(%rbp)
movl $0x6, %esi
callq 0x11bf0
movq -0x1e8(%rbp), %rdi
movq -0x1e0(%rbp), %rsi
callq 0x1a390
movq %rax, -0x1d8(%rbp)
leaq -0x101(%rbp), %rdi
movq %rdi, -0x1d0(%rbp)
callq 0xeb70
movq -0x1d0(%rbp), %rcx
leaq -0x100(%rbp), %rdi
movl $0x4f, %esi
movl $0x3d, %edx
callq 0x437d0
jmp 0x5833f
movq -0x1d8(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0xe5a0
jmp 0x58354
leaq -0x100(%rbp), %rdi
callq 0xecd8
leaq -0x101(%rbp), %rdi
callq 0xe710
leaq -0xda(%rbp), %rdi
callq 0x11cf0
jmp 0x583ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x583a0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x100(%rbp), %rdi
callq 0xecd8
leaq -0x101(%rbp), %rdi
callq 0xe710
leaq -0xda(%rbp), %rdi
callq 0x11cf0
jmp 0x583da
movq -0x110(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x2665d(%rip), %rsi     # 0x7ea29
callq 0xe670
addq $0x1f0, %rsp            # imm = 0x1F0
popq %rbp
retq
movq -0x60(%rbp), %rdi
callq 0xeb60
nopw %cs:(%rax,%rax)
nopl (%rax)