// File: dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::ConsoleReporter::printTotals(Catch::Totals const&)
void printTotals( Totals const& totals ) {
            if( totals.testCases.total() == 0 ) {
                stream << Colour( Colour::Warning ) << "No tests ran\n";
            }
            else if( totals.assertions.total() > 0 && totals.assertions.allPassed() ) {
                stream << Colour( Colour::ResultSuccess ) << "All tests passed";
                stream << " ("
                        << pluralise( totals.assertions.passed, "assertion" ) << " in "
                        << pluralise( totals.testCases.passed, "test case" ) << ")"
                        << "\n";
            }
            else {

                std::vector<SummaryColumn> columns;
                columns.push_back( SummaryColumn( "", Colour::None )
                                        .addRow( totals.testCases.total() )
                                        .addRow( totals.assertions.total() ) );
                columns.push_back( SummaryColumn( "passed", Colour::Success )
                                        .addRow( totals.testCases.passed )
                                        .addRow( totals.assertions.passed ) );
                columns.push_back( SummaryColumn( "failed", Colour::ResultError )
                                        .addRow( totals.testCases.failed )
                                        .addRow( totals.assertions.failed ) );
                columns.push_back( SummaryColumn( "failed as expected", Colour::ResultExpectedFailure )
                                        .addRow( totals.testCases.failedButOk )
                                        .addRow( totals.assertions.failedButOk ) );

                printSummaryRow( "test cases", columns, 0 );
                printSummaryRow( "assertions", columns, 1 );
            }
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x570, %rsp            # imm = 0x570
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x4d8(%rbp)
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x266e0
cmpq $0x0, %rax
jne 0x55fe4
movq -0x4d8(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x4e8(%rbp)
leaq -0x11(%rbp), %rdi
movq %rdi, -0x4e0(%rbp)
movl $0x6, %esi
callq 0x11bf0
movq -0x4e8(%rbp), %rdi
movq -0x4e0(%rbp), %rsi
callq 0x1a390
movq %rax, %rdi
leaq 0x28c45(%rip), %rsi     # 0x7ebfa
callq 0xe670
jmp 0x55fbc
leaq -0x11(%rbp), %rdi
callq 0x11cf0
jmp 0x56963
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x11(%rbp), %rdi
callq 0x11cf0
jmp 0x5696c
movq -0x10(%rbp), %rdi
callq 0x266e0
cmpq $0x0, %rax
jbe 0x56298
movq -0x10(%rbp), %rdi
callq 0x56980
testb $0x1, %al
jne 0x56009
jmp 0x56298
movq -0x4d8(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x4f8(%rbp)
leaq -0x25(%rbp), %rdi
movq %rdi, -0x4f0(%rbp)
movl $0x13, %esi
callq 0x11bf0
movq -0x4f8(%rbp), %rdi
movq -0x4f0(%rbp), %rsi
callq 0x1a390
movq %rax, %rdi
leaq 0x28bbb(%rip), %rsi     # 0x7ec08
callq 0xe670
jmp 0x56054
leaq -0x25(%rbp), %rdi
callq 0x11cf0
movq -0x4d8(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x283bf(%rip), %rsi     # 0x7e42e
callq 0xe670
movq %rax, -0x510(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x508(%rbp)
leaq -0x71(%rbp), %rdi
movq %rdi, -0x500(%rbp)
callq 0xeb70
movq -0x500(%rbp), %rdx
leaq 0x28b72(%rip), %rsi     # 0x7ec19
leaq -0x70(%rbp), %rdi
callq 0x18c80
jmp 0x560b2
movq -0x508(%rbp), %rsi
leaq -0x50(%rbp), %rdi
leaq -0x70(%rbp), %rdx
callq 0x13c80
jmp 0x560c8
movq -0x510(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x13cc0
movq %rax, -0x518(%rbp)
jmp 0x560e1
movq -0x518(%rbp), %rdi
leaq 0x28adf(%rip), %rsi     # 0x7ebce
callq 0xe670
movq %rax, -0x520(%rbp)
jmp 0x560fd
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x530(%rbp)
leaq -0xc1(%rbp), %rdi
movq %rdi, -0x528(%rbp)
callq 0xeb70
movq -0x528(%rbp), %rdx
leaq 0x28457(%rip), %rsi     # 0x7e584
leaq -0xc0(%rbp), %rdi
callq 0x18c80
jmp 0x5613b
movq -0x530(%rbp), %rsi
leaq -0xa0(%rbp), %rdi
leaq -0xc0(%rbp), %rdx
callq 0x13c80
jmp 0x56157
movq -0x520(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0x13cc0
movq %rax, -0x538(%rbp)
jmp 0x56173
movq -0x538(%rbp), %rdi
leaq 0x2784a(%rip), %rsi     # 0x7d9cb
callq 0xe670
movq %rax, -0x540(%rbp)
jmp 0x5618f
movq -0x540(%rbp), %rdi
leaq 0x2888c(%rip), %rsi     # 0x7ea29
callq 0xe670
jmp 0x561a4
leaq -0xa0(%rbp), %rdi
callq 0x46c80
leaq -0xc0(%rbp), %rdi
callq 0xecd8
leaq -0xc1(%rbp), %rdi
callq 0xe710
leaq -0x50(%rbp), %rdi
callq 0x46c80
leaq -0x70(%rbp), %rdi
callq 0xecd8
leaq -0x71(%rbp), %rdi
callq 0xe710
jmp 0x56961
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x25(%rbp), %rdi
callq 0x11cf0
jmp 0x5696c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x5628a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x56281
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x56278
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x5626c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x56260
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0xa0(%rbp), %rdi
callq 0x46c80
leaq -0xc0(%rbp), %rdi
callq 0xecd8
leaq -0xc1(%rbp), %rdi
callq 0xe710
leaq -0x50(%rbp), %rdi
callq 0x46c80
leaq -0x70(%rbp), %rdi
callq 0xecd8
leaq -0x71(%rbp), %rdi
callq 0xe710
jmp 0x5696c
leaq -0xe0(%rbp), %rdi
callq 0x569c0
leaq -0x1c1(%rbp), %rdi
movq %rdi, -0x548(%rbp)
callq 0xeb70
movq -0x548(%rbp), %rdx
leaq 0x28765(%rip), %rsi     # 0x7ea2a
leaq -0x1c0(%rbp), %rdi
callq 0x18c80
jmp 0x562d3
leaq -0x1a0(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
xorl %edx, %edx
callq 0x56a10
jmp 0x562ea
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x266e0
movq %rax, %rdx
leaq -0x160(%rbp), %rdi
leaq -0x1a0(%rbp), %rsi
callq 0x56a50
jmp 0x5630f
movq -0x10(%rbp), %rdi
callq 0x266e0
movq %rax, %rdx
leaq -0x120(%rbp), %rdi
leaq -0x160(%rbp), %rsi
callq 0x56a50
jmp 0x56330
leaq -0xe0(%rbp), %rdi
leaq -0x120(%rbp), %rsi
callq 0x569e0
jmp 0x56345
leaq -0x120(%rbp), %rdi
callq 0x56cd0
leaq -0x160(%rbp), %rdi
callq 0x56cd0
leaq -0x1a0(%rbp), %rdi
callq 0x56cd0
leaq -0x1c0(%rbp), %rdi
callq 0xecd8
leaq -0x1c1(%rbp), %rdi
callq 0xe710
leaq -0x2a9(%rbp), %rdi
movq %rdi, -0x550(%rbp)
callq 0xeb70
movq -0x550(%rbp), %rdx
leaq 0x28870(%rip), %rsi     # 0x7ec12
leaq -0x2a8(%rbp), %rdi
callq 0x18c80
jmp 0x563b0
leaq -0x288(%rbp), %rdi
leaq -0x2a8(%rbp), %rsi
movl $0x3, %edx
callq 0x56a10
jmp 0x563ca
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rdx
leaq -0x248(%rbp), %rdi
leaq -0x288(%rbp), %rsi
callq 0x56a50
jmp 0x563e7
movq -0x10(%rbp), %rax
movq (%rax), %rdx
leaq -0x208(%rbp), %rdi
leaq -0x248(%rbp), %rsi
callq 0x56a50
jmp 0x56403
leaq -0xe0(%rbp), %rdi
leaq -0x208(%rbp), %rsi
callq 0x569e0
jmp 0x56418
leaq -0x208(%rbp), %rdi
callq 0x56cd0
leaq -0x248(%rbp), %rdi
callq 0x56cd0
leaq -0x288(%rbp), %rdi
callq 0x56cd0
leaq -0x2a8(%rbp), %rdi
callq 0xecd8
leaq -0x2a9(%rbp), %rdi
callq 0xe710
leaq -0x391(%rbp), %rdi
movq %rdi, -0x558(%rbp)
callq 0xeb70
movq -0x558(%rbp), %rdx
leaq 0x287ae(%rip), %rsi     # 0x7ec23
leaq -0x390(%rbp), %rdi
callq 0x18c80
jmp 0x56483
leaq -0x370(%rbp), %rdi
leaq -0x390(%rbp), %rsi
movl $0x12, %edx
callq 0x56a10
jmp 0x5649d
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdx
leaq -0x330(%rbp), %rdi
leaq -0x370(%rbp), %rsi
callq 0x56a50
jmp 0x564ba
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rdx
leaq -0x2f0(%rbp), %rdi
leaq -0x330(%rbp), %rsi
callq 0x56a50
jmp 0x564d7
leaq -0xe0(%rbp), %rdi
leaq -0x2f0(%rbp), %rsi
callq 0x569e0
jmp 0x564ec
leaq -0x2f0(%rbp), %rdi
callq 0x56cd0
leaq -0x330(%rbp), %rdi
callq 0x56cd0
leaq -0x370(%rbp), %rdi
callq 0x56cd0
leaq -0x390(%rbp), %rdi
callq 0xecd8
leaq -0x391(%rbp), %rdi
callq 0xe710
leaq -0x479(%rbp), %rdi
movq %rdi, -0x560(%rbp)
callq 0xeb70
movq -0x560(%rbp), %rdx
leaq 0x286e1(%rip), %rsi     # 0x7ec2a
leaq -0x478(%rbp), %rdi
callq 0x18c80
jmp 0x56557
leaq -0x458(%rbp), %rdi
leaq -0x478(%rbp), %rsi
movl $0x6, %edx
callq 0x56a10
jmp 0x56571
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rdx
leaq -0x418(%rbp), %rdi
leaq -0x458(%rbp), %rsi
callq 0x56a50
jmp 0x5658e
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdx
leaq -0x3d8(%rbp), %rdi
leaq -0x418(%rbp), %rsi
callq 0x56a50
jmp 0x565ab
leaq -0xe0(%rbp), %rdi
leaq -0x3d8(%rbp), %rsi
callq 0x569e0
jmp 0x565c0
leaq -0x3d8(%rbp), %rdi
callq 0x56cd0
leaq -0x418(%rbp), %rdi
callq 0x56cd0
leaq -0x458(%rbp), %rdi
callq 0x56cd0
leaq -0x478(%rbp), %rdi
callq 0xecd8
leaq -0x479(%rbp), %rdi
callq 0xe710
leaq -0x4a1(%rbp), %rdi
movq %rdi, -0x568(%rbp)
callq 0xeb70
movq -0x568(%rbp), %rdx
leaq 0x277fa(%rip), %rsi     # 0x7de17
leaq -0x4a0(%rbp), %rdi
callq 0x18c80
jmp 0x5662b
movq -0x4d8(%rbp), %rdi
xorl %eax, %eax
movl %eax, %ecx
leaq -0x4a0(%rbp), %rsi
leaq -0xe0(%rbp), %rdx
callq 0x56d00
jmp 0x5664b
leaq -0x4a0(%rbp), %rdi
callq 0xecd8
leaq -0x4a1(%rbp), %rdi
callq 0xe710
leaq -0x4c9(%rbp), %rdi
movq %rdi, -0x570(%rbp)
callq 0xeb70
movq -0x570(%rbp), %rdx
leaq 0x285b9(%rip), %rsi     # 0x7ec3d
leaq -0x4c8(%rbp), %rdi
callq 0x18c80
jmp 0x56692
movq -0x4d8(%rbp), %rdi
leaq -0x4c8(%rbp), %rsi
leaq -0xe0(%rbp), %rdx
movl $0x1, %ecx
callq 0x56d00
jmp 0x566b3
leaq -0x4c8(%rbp), %rdi
callq 0xecd8
leaq -0x4c9(%rbp), %rdi
callq 0xe710
leaq -0xe0(%rbp), %rdi
callq 0x56fe0
jmp 0x56961
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x56750
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x56744
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x56738
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x5672c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x120(%rbp), %rdi
callq 0x56cd0
leaq -0x160(%rbp), %rdi
callq 0x56cd0
leaq -0x1a0(%rbp), %rdi
callq 0x56cd0
leaq -0x1c0(%rbp), %rdi
callq 0xecd8
leaq -0x1c1(%rbp), %rdi
callq 0xe710
jmp 0x56953
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x567d5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x567c9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x567bd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x567b1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x208(%rbp), %rdi
callq 0x56cd0
leaq -0x248(%rbp), %rdi
callq 0x56cd0
leaq -0x288(%rbp), %rdi
callq 0x56cd0
leaq -0x2a8(%rbp), %rdi
callq 0xecd8
leaq -0x2a9(%rbp), %rdi
callq 0xe710
jmp 0x56953
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x5685a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x5684e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x56842
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x56836
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x2f0(%rbp), %rdi
callq 0x56cd0
leaq -0x330(%rbp), %rdi
callq 0x56cd0
leaq -0x370(%rbp), %rdi
callq 0x56cd0
leaq -0x390(%rbp), %rdi
callq 0xecd8
leaq -0x391(%rbp), %rdi
callq 0xe710
jmp 0x56953
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x568df
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x568d3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x568c7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x568bb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x3d8(%rbp), %rdi
callq 0x56cd0
leaq -0x418(%rbp), %rdi
callq 0x56cd0
leaq -0x458(%rbp), %rdi
callq 0x56cd0
leaq -0x478(%rbp), %rdi
callq 0xecd8
leaq -0x479(%rbp), %rdi
callq 0xe710
jmp 0x56953
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x56913
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x4a0(%rbp), %rdi
callq 0xecd8
leaq -0x4a1(%rbp), %rdi
callq 0xe710
jmp 0x56953
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x56947
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x4c8(%rbp), %rdi
callq 0xecd8
leaq -0x4c9(%rbp), %rdi
callq 0xe710
leaq -0xe0(%rbp), %rdi
callq 0x56fe0
jmp 0x5696c
jmp 0x56963
addq $0x570, %rsp            # imm = 0x570
popq %rbp
retq
movq -0x20(%rbp), %rdi
callq 0xeb60
nopw %cs:(%rax,%rax)
nop