// File: minimind[P]simple-graph/unittest/catch.hpp
// Function: Catch::ConsoleReporter::lazyPrintRunInfo()
void lazyPrintRunInfo() {
            stream  << "\n" << getLineOfChars<'~'>() << "\n";
            Colour colour( Colour::SecondaryText );
            stream  << currentTestRunInfo->name
                    << " is a Catch v"  << libraryVersion.majorVersion << "."
                    << libraryVersion.minorVersion << " b"
                    << libraryVersion.buildNumber;
            if( libraryVersion.branchName != std::string( "master" ) )
                stream << " (" << libraryVersion.branchName << ")";
            stream  << " host application.\n"
                    << "Run with -? for options\n\n";

            currentTestRunInfo.used = true;
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xd0, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x60(%rbp)
movq 0x18(%rax), %rdi
leaq 0x308a5(%rip), %rsi     # 0x79527
movq %rsi, -0x68(%rbp)
callq 0xb520
movq %rax, -0x70(%rbp)
callq 0x49240
movq -0x70(%rbp), %rdi
movq %rax, %rsi
callq 0xb520
movq -0x68(%rbp), %rsi
movq %rax, %rdi
callq 0xb520
leaq -0x9(%rbp), %rdi
movl $0x17, %esi
callq 0xd210
movq -0x60(%rbp), %rdi
movq 0x18(%rdi), %rax
movq %rax, -0x58(%rbp)
addq $0x20, %rdi
callq 0x49280
movq %rax, -0x50(%rbp)
jmp 0x48cd5
movq -0x50(%rbp), %rsi
movq -0x58(%rbp), %rdi
callq 0xb4c0
movq %rax, -0x78(%rbp)
jmp 0x48ce8
movq -0x78(%rbp), %rdi
leaq 0x307f7(%rip), %rsi     # 0x794ea
callq 0xb520
movq %rax, -0x80(%rbp)
jmp 0x48cfe
movq -0x80(%rbp), %rdi
movl 0x64890(%rip), %esi     # 0xad598
callq 0xb6f0
movq %rax, -0x88(%rbp)
jmp 0x48d16
movq -0x88(%rbp), %rdi
leaq 0x30aa0(%rip), %rsi     # 0x797c4
callq 0xb520
movq %rax, -0x90(%rbp)
jmp 0x48d32
movq -0x90(%rbp), %rdi
movl 0x6485d(%rip), %esi     # 0xad59c
callq 0xb6f0
movq %rax, -0x98(%rbp)
jmp 0x48d4d
movq -0x98(%rbp), %rdi
leaq 0x3079d(%rip), %rsi     # 0x794f8
callq 0xb520
movq %rax, -0xa0(%rbp)
jmp 0x48d69
movq -0xa0(%rbp), %rdi
movl 0x6482a(%rip), %esi     # 0xad5a0
callq 0xb6f0
jmp 0x48d7d
movq 0x64824(%rip), %rax     # 0xad5a8
movq %rax, -0xb0(%rbp)
leaq -0x41(%rbp), %rdi
movq %rdi, -0xa8(%rbp)
callq 0xb930
movq -0xa8(%rbp), %rdx
leaq 0x2f914(%rip), %rsi     # 0x786bd
leaq -0x40(%rbp), %rdi
callq 0x134e0
jmp 0x48db4
movq -0xb0(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x2adc0
movb %al, -0xb1(%rbp)
jmp 0x48dcc
leaq -0x40(%rbp), %rdi
callq 0xb330
leaq -0x41(%rbp), %rdi
callq 0xb5c0
movb -0xb1(%rbp), %al
testb $0x1, %al
jne 0x48ded
jmp 0x48e79
movq -0x60(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x300c1(%rip), %rsi     # 0x78ebd
callq 0xb520
movq %rax, -0xc0(%rbp)
jmp 0x48e0a
movq -0xc0(%rbp), %rdi
movq 0x64790(%rip), %rsi     # 0xad5a8
callq 0xb520
movq %rax, -0xc8(%rbp)
jmp 0x48e26
movq -0xc8(%rbp), %rdi
leaq 0x31e5b(%rip), %rsi     # 0x7ac8f
callq 0xb520
jmp 0x48e3b
jmp 0x48e79
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
jmp 0x48ec5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
jmp 0x48e6e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x40(%rbp), %rdi
callq 0xb330
leaq -0x41(%rbp), %rdi
callq 0xb5c0
jmp 0x48ec5
movq -0x60(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x30673(%rip), %rsi     # 0x794fb
callq 0xb520
movq %rax, -0xd0(%rbp)
jmp 0x48e96
movq -0xd0(%rbp), %rdi
leaq 0x3066b(%rip), %rsi     # 0x7950f
callq 0xb520
jmp 0x48eab
movq -0x60(%rbp), %rax
movb $0x1, 0x48(%rax)
leaq -0x9(%rbp), %rdi
callq 0xd290
addq $0xd0, %rsp
popq %rbp
retq
leaq -0x9(%rbp), %rdi
callq 0xd290
movq -0x18(%rbp), %rdi
callq 0xb920
nopw (%rax,%rax)