// File: dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::CompactReporter::AssertionPrinter::print()
void print() {
                printSourceInfo();

                itMessage = messages.begin();

                switch( result.getResultType() ) {
                    case ResultWas::Ok:
                        printResultType( Colour::ResultSuccess, passedString() );
                        printOriginalExpression();
                        printReconstructedExpression();
                        if ( ! result.hasExpression() )
                            printRemainingMessages( Colour::None );
                        else
                            printRemainingMessages();
                        break;
                    case ResultWas::ExpressionFailed:
                        if( result.isOk() )
                            printResultType( Colour::ResultSuccess, failedString() + std::string( " - but was ok" ) );
                        else
                            printResultType( Colour::Error, failedString() );
                        printOriginalExpression();
                        printReconstructedExpression();
                        printRemainingMessages();
                        break;
                    case ResultWas::ThrewException:
                        printResultType( Colour::Error, failedString() );
                        printIssue( "unexpected exception with message:" );
                        printMessage();
                        printExpressionWas();
                        printRemainingMessages();
                        break;
                    case ResultWas::FatalErrorCondition:
                        printResultType( Colour::Error, failedString() );
                        printIssue( "fatal error condition with message:" );
                        printMessage();
                        printExpressionWas();
                        printRemainingMessages();
                        break;
                    case ResultWas::DidntThrowException:
                        printResultType( Colour::Error, failedString() );
                        printIssue( "expected exception, got none" );
                        printExpressionWas();
                        printRemainingMessages();
                        break;
                    case ResultWas::Info:
                        printResultType( Colour::None, "info" );
                        printMessage();
                        printRemainingMessages();
                        break;
                    case ResultWas::Warning:
                        printResultType( Colour::None, "warning" );
                        printMessage();
                        printRemainingMessages();
                        break;
                    case ResultWas::ExplicitFailure:
                        printResultType( Colour::Error, failedString() );
                        printIssue( "explicitly" );
                        printRemainingMessages( Colour::None );
                        break;
                    // These cases are here to prevent compiler warnings
                    case ResultWas::Unknown:
                    case ResultWas::FailureBit:
                    case ResultWas::Exception:
                        printResultType( Colour::Error, "** internal error **" );
                        break;
                }
            }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x330, %rsp            # imm = 0x330
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x280(%rbp)
callq 0x590c0
movq -0x280(%rbp), %rdi
addq $0x18, %rdi
callq 0x25110
movq %rax, -0x18(%rbp)
leaq -0x10(%rbp), %rdi
leaq -0x18(%rbp), %rsi
callq 0x27450
movq -0x280(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, 0x30(%rax)
movq 0x10(%rax), %rdi
callq 0x12090
movl %eax, %ecx
movl %ecx, -0x278(%rbp)
subl $-0x1, %eax
je 0x58ff5
jmp 0x585ab
movl -0x278(%rbp), %eax
testl %eax, %eax
je 0x5865f
jmp 0x585bb
movl -0x278(%rbp), %eax
subl $0x1, %eax
je 0x58d39
jmp 0x585cc
movl -0x278(%rbp), %eax
subl $0x2, %eax
je 0x58df2
jmp 0x585dd
movl -0x278(%rbp), %eax
subl $0x10, %eax
je 0x58ff5
jmp 0x585ee
movl -0x278(%rbp), %eax
subl $0x11, %eax
je 0x58742
jmp 0x585ff
movl -0x278(%rbp), %eax
subl $0x12, %eax
je 0x58eab
jmp 0x58610
movl -0x278(%rbp), %eax
subl $0x110, %eax            # imm = 0x110
je 0x58ff5
jmp 0x58623
movl -0x278(%rbp), %eax
subl $0x111, %eax            # imm = 0x111
je 0x58910
jmp 0x58636
movl -0x278(%rbp), %eax
subl $0x112, %eax            # imm = 0x112
je 0x58bde
jmp 0x58649
movl -0x278(%rbp), %eax
subl $0x210, %eax            # imm = 0x210
je 0x58a77
jmp 0x5908c
callq 0x59220
movq %rax, -0x290(%rbp)
leaq -0x39(%rbp), %rdi
movq %rdi, -0x288(%rbp)
callq 0xeb70
movq -0x290(%rbp), %rsi
movq -0x288(%rbp), %rdx
leaq -0x38(%rbp), %rdi
callq 0x18c80
jmp 0x58694
movq -0x280(%rbp), %rdi
movl $0x13, %esi
leaq -0x38(%rbp), %rdx
callq 0x59170
jmp 0x586ab
leaq -0x38(%rbp), %rdi
callq 0xecd8
leaq -0x39(%rbp), %rdi
callq 0xe710
movq -0x280(%rbp), %rdi
callq 0x59230
movq -0x280(%rbp), %rdi
callq 0x592d0
movq -0x280(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x120b0
testb $0x1, %al
jne 0x5872a
movq -0x280(%rbp), %rdi
xorl %esi, %esi
callq 0x593a0
jmp 0x5873d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x5871c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x38(%rbp), %rdi
callq 0xecd8
leaq -0x39(%rbp), %rdi
callq 0xe710
jmp 0x59095
callq 0x596a0
movq -0x280(%rbp), %rdi
movl %eax, %esi
callq 0x593a0
jmp 0x5908c
movq -0x280(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12040
testb $0x1, %al
jne 0x5875b
jmp 0x5883a
callq 0x596b0
movq %rax, -0x2a0(%rbp)
leaq -0x91(%rbp), %rdi
movq %rdi, -0x298(%rbp)
callq 0xeb70
movq -0x298(%rbp), %rdx
leaq 0x2630c(%rip), %rsi     # 0x7ea94
leaq -0x90(%rbp), %rdi
callq 0x18c80
jmp 0x58796
movq -0x2a0(%rbp), %rsi
leaq -0x70(%rbp), %rdi
leaq -0x90(%rbp), %rdx
callq 0x40c70
jmp 0x587af
movq -0x280(%rbp), %rdi
movl $0x13, %esi
leaq -0x70(%rbp), %rdx
callq 0x59170
jmp 0x587c6
leaq -0x70(%rbp), %rdi
callq 0xecd8
leaq -0x90(%rbp), %rdi
callq 0xecd8
leaq -0x91(%rbp), %rdi
callq 0xe710
jmp 0x588e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58829
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x5881d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x70(%rbp), %rdi
callq 0xecd8
leaq -0x90(%rbp), %rdi
callq 0xecd8
leaq -0x91(%rbp), %rdi
callq 0xe710
jmp 0x59095
callq 0x596b0
movq %rax, -0x2b0(%rbp)
leaq -0xb9(%rbp), %rdi
movq %rdi, -0x2a8(%rbp)
callq 0xeb70
movq -0x2b0(%rbp), %rsi
movq -0x2a8(%rbp), %rdx
leaq -0xb8(%rbp), %rdi
callq 0x18c80
jmp 0x58875
movq -0x280(%rbp), %rdi
movl $0x12, %esi
leaq -0xb8(%rbp), %rdx
callq 0x59170
jmp 0x5888f
leaq -0xb8(%rbp), %rdi
callq 0xecd8
leaq -0xb9(%rbp), %rdi
callq 0xe710
jmp 0x588e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x588cf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0xecd8
leaq -0xb9(%rbp), %rdi
callq 0xe710
jmp 0x59095
movq -0x280(%rbp), %rdi
callq 0x59230
movq -0x280(%rbp), %rdi
callq 0x592d0
callq 0x596a0
movq -0x280(%rbp), %rdi
movl %eax, %esi
callq 0x593a0
jmp 0x5908c
callq 0x596b0
movq %rax, -0x2c0(%rbp)
leaq -0xe1(%rbp), %rdi
movq %rdi, -0x2b8(%rbp)
callq 0xeb70
movq -0x2c0(%rbp), %rsi
movq -0x2b8(%rbp), %rdx
leaq -0xe0(%rbp), %rdi
callq 0x18c80
jmp 0x5894b
movq -0x280(%rbp), %rdi
movl $0x12, %esi
leaq -0xe0(%rbp), %rdx
callq 0x59170
jmp 0x58965
leaq -0xe0(%rbp), %rdi
callq 0xecd8
leaq -0xe1(%rbp), %rdi
callq 0xe710
leaq -0x109(%rbp), %rdi
movq %rdi, -0x2c8(%rbp)
callq 0xeb70
movq -0x2c8(%rbp), %rdx
leaq 0x262b7(%rip), %rsi     # 0x7ec55
leaq -0x108(%rbp), %rdi
callq 0x18c80
jmp 0x589ac
movq -0x280(%rbp), %rdi
leaq -0x108(%rbp), %rsi
callq 0x596c0
jmp 0x589c1
leaq -0x108(%rbp), %rdi
callq 0xecd8
leaq -0x109(%rbp), %rdi
callq 0xe710
movq -0x280(%rbp), %rdi
callq 0x59700
movq -0x280(%rbp), %rdi
callq 0x597a0
callq 0x596a0
movq -0x280(%rbp), %rdi
movl %eax, %esi
callq 0x593a0
jmp 0x5908c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58a2f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0xecd8
leaq -0xe1(%rbp), %rdi
callq 0xe710
jmp 0x59095
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58a66
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x108(%rbp), %rdi
callq 0xecd8
leaq -0x109(%rbp), %rdi
callq 0xe710
jmp 0x59095
callq 0x596b0
movq %rax, -0x2d8(%rbp)
leaq -0x131(%rbp), %rdi
movq %rdi, -0x2d0(%rbp)
callq 0xeb70
movq -0x2d8(%rbp), %rsi
movq -0x2d0(%rbp), %rdx
leaq -0x130(%rbp), %rdi
callq 0x18c80
jmp 0x58ab2
movq -0x280(%rbp), %rdi
movl $0x12, %esi
leaq -0x130(%rbp), %rdx
callq 0x59170
jmp 0x58acc
leaq -0x130(%rbp), %rdi
callq 0xecd8
leaq -0x131(%rbp), %rdi
callq 0xe710
leaq -0x159(%rbp), %rdi
movq %rdi, -0x2e0(%rbp)
callq 0xeb70
movq -0x2e0(%rbp), %rdx
leaq 0x26173(%rip), %rsi     # 0x7ec78
leaq -0x158(%rbp), %rdi
callq 0x18c80
jmp 0x58b13
movq -0x280(%rbp), %rdi
leaq -0x158(%rbp), %rsi
callq 0x596c0
jmp 0x58b28
leaq -0x158(%rbp), %rdi
callq 0xecd8
leaq -0x159(%rbp), %rdi
callq 0xe710
movq -0x280(%rbp), %rdi
callq 0x59700
movq -0x280(%rbp), %rdi
callq 0x597a0
callq 0x596a0
movq -0x280(%rbp), %rdi
movl %eax, %esi
callq 0x593a0
jmp 0x5908c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58b96
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x130(%rbp), %rdi
callq 0xecd8
leaq -0x131(%rbp), %rdi
callq 0xe710
jmp 0x59095
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58bcd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x158(%rbp), %rdi
callq 0xecd8
leaq -0x159(%rbp), %rdi
callq 0xe710
jmp 0x59095
callq 0x596b0
movq %rax, -0x2f0(%rbp)
leaq -0x181(%rbp), %rdi
movq %rdi, -0x2e8(%rbp)
callq 0xeb70
movq -0x2f0(%rbp), %rsi
movq -0x2e8(%rbp), %rdx
leaq -0x180(%rbp), %rdi
callq 0x18c80
jmp 0x58c19
movq -0x280(%rbp), %rdi
movl $0x12, %esi
leaq -0x180(%rbp), %rdx
callq 0x59170
jmp 0x58c33
leaq -0x180(%rbp), %rdi
callq 0xecd8
leaq -0x181(%rbp), %rdi
callq 0xe710
leaq -0x1a9(%rbp), %rdi
movq %rdi, -0x2f8(%rbp)
callq 0xeb70
movq -0x2f8(%rbp), %rdx
leaq 0x26030(%rip), %rsi     # 0x7ec9c
leaq -0x1a8(%rbp), %rdi
callq 0x18c80
jmp 0x58c7a
movq -0x280(%rbp), %rdi
leaq -0x1a8(%rbp), %rsi
callq 0x596c0
jmp 0x58c8f
leaq -0x1a8(%rbp), %rdi
callq 0xecd8
leaq -0x1a9(%rbp), %rdi
callq 0xe710
movq -0x280(%rbp), %rdi
callq 0x597a0
callq 0x596a0
movq -0x280(%rbp), %rdi
movl %eax, %esi
callq 0x593a0
jmp 0x5908c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58cf1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x180(%rbp), %rdi
callq 0xecd8
leaq -0x181(%rbp), %rdi
callq 0xe710
jmp 0x59095
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58d28
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x1a8(%rbp), %rdi
callq 0xecd8
leaq -0x1a9(%rbp), %rdi
callq 0xe710
jmp 0x59095
leaq -0x1d1(%rbp), %rdi
movq %rdi, -0x300(%rbp)
callq 0xeb70
movq -0x300(%rbp), %rdx
leaq 0x25dce(%rip), %rsi     # 0x7eb28
leaq -0x1d0(%rbp), %rdi
callq 0x18c80
jmp 0x58d68
movq -0x280(%rbp), %rdi
xorl %esi, %esi
leaq -0x1d0(%rbp), %rdx
callq 0x59170
jmp 0x58d7f
leaq -0x1d0(%rbp), %rdi
callq 0xecd8
leaq -0x1d1(%rbp), %rdi
callq 0xe710
movq -0x280(%rbp), %rdi
callq 0x59700
callq 0x596a0
movq -0x280(%rbp), %rdi
movl %eax, %esi
callq 0x593a0
jmp 0x5908c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58de1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x1d0(%rbp), %rdi
callq 0xecd8
leaq -0x1d1(%rbp), %rdi
callq 0xe710
jmp 0x59095
leaq -0x1f9(%rbp), %rdi
movq %rdi, -0x308(%rbp)
callq 0xeb70
movq -0x308(%rbp), %rdx
leaq 0x25d1a(%rip), %rsi     # 0x7eb2d
leaq -0x1f8(%rbp), %rdi
callq 0x18c80
jmp 0x58e21
movq -0x280(%rbp), %rdi
xorl %esi, %esi
leaq -0x1f8(%rbp), %rdx
callq 0x59170
jmp 0x58e38
leaq -0x1f8(%rbp), %rdi
callq 0xecd8
leaq -0x1f9(%rbp), %rdi
callq 0xe710
movq -0x280(%rbp), %rdi
callq 0x59700
callq 0x596a0
movq -0x280(%rbp), %rdi
movl %eax, %esi
callq 0x593a0
jmp 0x5908c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58e9a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x1f8(%rbp), %rdi
callq 0xecd8
leaq -0x1f9(%rbp), %rdi
callq 0xe710
jmp 0x59095
callq 0x596b0
movq %rax, -0x318(%rbp)
leaq -0x221(%rbp), %rdi
movq %rdi, -0x310(%rbp)
callq 0xeb70
movq -0x318(%rbp), %rsi
movq -0x310(%rbp), %rdx
leaq -0x220(%rbp), %rdi
callq 0x18c80
jmp 0x58ee6
movq -0x280(%rbp), %rdi
movl $0x12, %esi
leaq -0x220(%rbp), %rdx
callq 0x59170
jmp 0x58f00
leaq -0x220(%rbp), %rdi
callq 0xecd8
leaq -0x221(%rbp), %rdi
callq 0xe710
leaq -0x249(%rbp), %rdi
movq %rdi, -0x320(%rbp)
callq 0xeb70
movq -0x320(%rbp), %rdx
leaq 0x25d80(%rip), %rsi     # 0x7ecb9
leaq -0x248(%rbp), %rdi
callq 0x18c80
jmp 0x58f47
movq -0x280(%rbp), %rdi
leaq -0x248(%rbp), %rsi
callq 0x596c0
jmp 0x58f5c
leaq -0x248(%rbp), %rdi
callq 0xecd8
leaq -0x249(%rbp), %rdi
callq 0xe710
movq -0x280(%rbp), %rdi
xorl %esi, %esi
callq 0x593a0
jmp 0x5908c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58fad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x220(%rbp), %rdi
callq 0xecd8
leaq -0x221(%rbp), %rdi
callq 0xe710
jmp 0x59095
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x58fe4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x248(%rbp), %rdi
callq 0xecd8
leaq -0x249(%rbp), %rdi
callq 0xe710
jmp 0x59095
leaq -0x271(%rbp), %rdi
movq %rdi, -0x328(%rbp)
callq 0xeb70
movq -0x328(%rbp), %rdx
leaq 0x25b50(%rip), %rsi     # 0x7eb66
leaq -0x270(%rbp), %rdi
callq 0x18c80
jmp 0x59024
movq -0x280(%rbp), %rdi
movl $0x12, %esi
leaq -0x270(%rbp), %rdx
callq 0x59170
jmp 0x5903e
leaq -0x270(%rbp), %rdi
callq 0xecd8
leaq -0x271(%rbp), %rdi
callq 0xe710
jmp 0x5908c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x5907e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x270(%rbp), %rdi
callq 0xecd8
leaq -0x271(%rbp), %rdi
callq 0xe710
jmp 0x59095
addq $0x330, %rsp            # imm = 0x330
popq %rbp
retq
movq -0x48(%rbp), %rdi
callq 0xeb60
nop