// File: /workspace/github_cpp_makefile_star2_O3/mshabbirhasan[P]ups-indel/include/seqan/basic/debug_test_system.h
// Function: bool seqan::ClassTest::testLeq<char*, char*>(char const*, int, char* const&, char const*, char* const&, char const*, char const*, ...)
bool testLeq(const char * file, int line,
             const T1 & value1, const char * expression1,
             const T2 & value2, const char * expression2,
             const char * comment, ...)
{
    if (!(value1 <= value2))
    {
        // Increase global error count.
        StaticData::thisTestOk() = false;
        StaticData::errorCount() += 1;
        // Print assertion failure text, with comment if any is given.
        std::cerr << file << ":" << line << " Assertion failed : "
                  << expression1 << " <= " << expression2 << " was: " << value1
                  << " > " << value2;
        if (comment)
        {
            std::cerr << " (";
            va_list args;
            va_start(args, comment);
            vfprintf(stderr, comment, args);
            va_end(args);
            std::cerr << ")";
        }
        std::cerr << std::endl;
        return false;
    }
    return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xe8, %rsp
movq %rcx, %rbx
testb %al, %al
je 0x9138
movaps %xmm0, -0xe0(%rbp)
movaps %xmm1, -0xd0(%rbp)
movaps %xmm2, -0xc0(%rbp)
movaps %xmm3, -0xb0(%rbp)
movaps %xmm4, -0xa0(%rbp)
movaps %xmm5, -0x90(%rbp)
movaps %xmm6, -0x80(%rbp)
movaps %xmm7, -0x70(%rbp)
movq (%rdx), %rax
movq (%r8), %rcx
cmpq %rcx, %rax
jbe 0x9347
movq %r9, %r13
movq %rdx, %r15
movl %esi, %r12d
movq %rdi, %r14
movq %r8, -0x30(%rbp)
movq %rcx, -0x38(%rbp)
movq %rax, -0x40(%rbp)
movb $0x0, 0xd29e(%rip)      # 0x16404
incl 0xd294(%rip)            # 0x16400
testq %rdi, %rdi
je 0x918d
movq %r14, %rdi
callq 0x3170
movq 0xce70(%rip), %rdi      # 0x15ff0
movq %r14, %rsi
movq %rax, %rdx
callq 0x33a0
jmp 0x91ab
movq 0xce5c(%rip), %rax      # 0x15ff0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
leaq (%rax,%rcx), %rdi
movl 0x20(%rax,%rcx), %esi
orl $0x1, %esi
callq 0x3560
movq 0xce3e(%rip), %r14      # 0x15ff0
leaq 0x8103(%rip), %rsi      # 0x112bc
movl $0x1, %edx
movq %r14, %rdi
callq 0x33a0
movq %r14, %rdi
movl %r12d, %esi
callq 0x3570
movq %rax, %r12
leaq 0x8143(%rip), %rsi      # 0x1131e
movl $0x14, %edx
movq %rax, %rdi
callq 0x33a0
testq %rbx, %rbx
je 0x9205
movq %rbx, %rdi
callq 0x3170
movq %r12, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x33a0
jmp 0x921e
movq (%r12), %rax
movq -0x18(%rax), %rax
leaq (%r12,%rax), %rdi
movl 0x20(%r12,%rax), %esi
orl $0x1, %esi
callq 0x3560
leaq 0x810e(%rip), %rsi      # 0x11333
movl $0x4, %edx
movq %r12, %rdi
callq 0x33a0
testq %r13, %r13
je 0x924f
movq %r13, %rdi
callq 0x3170
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x33a0
jmp 0x9268
movq (%r12), %rax
movq -0x18(%rax), %rax
leaq (%r12,%rax), %rdi
movl 0x20(%r12,%rax), %esi
orl $0x1, %esi
callq 0x3560
leaq 0x80c9(%rip), %rsi      # 0x11338
movl $0x6, %edx
movq %r12, %rdi
callq 0x33a0
movq (%r15), %rbx
testq %rbx, %rbx
je 0x929c
movq %rbx, %rdi
callq 0x3170
movq %r12, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x33a0
jmp 0x92b5
movq (%r12), %rax
movq -0x18(%rax), %rax
leaq (%r12,%rax), %rdi
movl 0x20(%r12,%rax), %esi
orl $0x1, %esi
callq 0x3560
movq 0x10(%rbp), %rbx
leaq 0x807f(%rip), %rsi      # 0x1133f
movl $0x3, %edx
movq %r12, %rdi
callq 0x33a0
movq -0x30(%rbp), %rax
movq (%rax), %r14
testq %r14, %r14
je 0x92f1
movq %r14, %rdi
callq 0x3170
movq %r12, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x33a0
jmp 0x930c
movq (%r12), %rax
movq -0x18(%rax), %rax
movq %r12, %rdi
addq %rax, %rdi
movl 0x20(%r12,%rax), %esi
orl $0x1, %esi
callq 0x3560
testq %rbx, %rbx
jne 0x935f
movq 0xccd8(%rip), %rbx      # 0x15ff0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3310
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3220
movq -0x40(%rbp), %rax
movq -0x38(%rbp), %rcx
cmpq %rcx, %rax
setbe %al
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0xcc8a(%rip), %r14      # 0x15ff0
leaq 0x808c(%rip), %rsi      # 0x113f9
movl $0x2, %edx
movq %r14, %rdi
callq 0x33a0
leaq -0x110(%rbp), %rax
leaq -0x60(%rbp), %rdx
movq %rax, 0x10(%rdx)
leaq 0x18(%rbp), %rax
movq %rax, 0x8(%rdx)
movabsq $0x3000000030, %rax     # imm = 0x3000000030
movq %rax, (%rdx)
movq 0xcc2b(%rip), %rax      # 0x15fd0
movq (%rax), %rdi
movq %rbx, %rsi
callq 0x3440
leaq 0x818d(%rip), %rsi      # 0x11544
movl $0x1, %edx
movq %r14, %rdi
callq 0x33a0
jmp 0x9311