// File: /workspace/github_c_makefile_star2_O2/giannisdravilas[P]Disease-Monitor/tests/../include/acutest.h
// Function: test_check__
int
test_check__(int cond, const char* file, int line, const char* fmt, ...)
{
    const char *result_str;
    int result_color;
    int verbose_level;

    if(cond) {
        result_str = "ok";
        result_color = TEST_COLOR_GREEN__;
        verbose_level = 3;
    } else {
        if(!test_current_already_logged__  &&  test_current_unit__ != NULL)
            test_finish_test_line__(-1);

        result_str = "failed";
        result_color = TEST_COLOR_RED__;
        verbose_level = 2;
        test_current_failures__++;
        test_current_already_logged__++;
    }

    if(test_verbose_level__ >= verbose_level) {
        va_list args;

        if(!test_case_current_already_logged__  &&  test_case_name__[0]) {
            test_line_indent__(1);
            test_print_in_color__(TEST_COLOR_DEFAULT_INTENSIVE__, "Case %s:\n", test_case_name__);
            test_current_already_logged__++;
            test_case_current_already_logged__++;
        }

        test_line_indent__(test_case_name__[0] ? 2 : 1);
        if(file != NULL) {
#ifdef ACUTEST_WIN__
            const char* lastsep1 = strrchr(file, '\\');
            const char* lastsep2 = strrchr(file, '/');
            if(lastsep1 == NULL)
                lastsep1 = file-1;
            if(lastsep2 == NULL)
                lastsep2 = file-1;
            file = (lastsep1 > lastsep2 ? lastsep1 : lastsep2) + 1;
#else
            const char* lastsep = strrchr(file, '/');
            if(lastsep != NULL)
                file = lastsep+1;
#endif
            printf("%s:%d: Check ", file, line);
        }

        va_start(args, fmt);
        vprintf(fmt, args);
        va_end(args);

        printf("... ");
        test_print_in_color__(result_color, result_str);
        printf("\n");
        test_current_already_logged__++;
    }

    test_cond_failed__ = (cond == 0);
    return !test_cond_failed__;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xe8, %rsp
movq %rcx, %r14
movq %rsi, %r15
movl %edi, %ebx
movq %r8, 0x50(%rsp)
movq %r9, 0x58(%rsp)
testb %al, %al
je 0x241d
movaps %xmm0, 0x60(%rsp)
movaps %xmm1, 0x70(%rsp)
movaps %xmm2, 0x80(%rsp)
movaps %xmm3, 0x90(%rsp)
movaps %xmm4, 0xa0(%rsp)
movaps %xmm5, 0xb0(%rsp)
movaps %xmm6, 0xc0(%rsp)
movaps %xmm7, 0xd0(%rsp)
pushq $0x2
popq %r13
testl %edi, %edi
je 0x2434
pushq $0x3
popq %rax
pushq $0x1
popq %rbp
leaq 0x7224(%rip), %r12      # 0x9656
jmp 0x2475
movl 0xc106(%rip), %eax      # 0xe540
testl %eax, %eax
jne 0x245a
cmpq $0x0, 0xc102(%rip)      # 0xe548
je 0x245a
pushq $-0x1
popq %rdi
movl %edx, %ebp
callq 0x2589
movl %ebp, %edx
movl 0xc0e6(%rip), %eax      # 0xe540
incl 0xc0f0(%rip)            # 0xe550
incl %eax
movl %eax, 0xc0d8(%rip)      # 0xe540
leaq 0x6d01(%rip), %r12      # 0x9170
movl %r13d, %ebp
movl %r13d, %eax
cmpl %eax, 0xbcf5(%rip)      # 0xe170
jl 0x2565
movl %edx, 0xc(%rsp)
cmpl $0x0, 0xc0c8(%rip)      # 0xe554
sete %cl
movb 0xc0cb(%rip), %al       # 0xe560
testb %al, %al
setne %dl
andb %cl, %dl
cmpb $0x1, %dl
jne 0x24d3
pushq $0x1
popq %rdi
callq 0x265c
leaq 0x6cc7(%rip), %rsi      # 0x9177
leaq 0xc0a9(%rip), %rdx      # 0xe560
pushq $0x3
popq %rdi
xorl %eax, %eax
callq 0x26b9
incl 0xc079(%rip)            # 0xe540
incl 0xc087(%rip)            # 0xe554
movb 0xc08d(%rip), %al       # 0xe560
cmpb $0x1, %al
sbbl $0x0, %r13d
movl %r13d, %edi
callq 0x265c
testq %r15, %r15
je 0x250e
pushq $0x2f
popq %rsi
movq %r15, %rdi
callq 0x2110
leaq 0x1(%rax), %rsi
testq %rax, %rax
cmoveq %r15, %rsi
leaq 0x6c7e(%rip), %rdi      # 0x9181
movl 0xc(%rsp), %edx
xorl %eax, %eax
callq 0x2100
leaq 0x30(%rsp), %rax
leaq 0x10(%rsp), %rsi
movq %rax, 0x10(%rsi)
leaq 0x120(%rsp), %rax
movq %rax, 0x8(%rsi)
movabsq $0x3000000020, %rax     # imm = 0x3000000020
movq %rax, (%rsi)
movq %r14, %rdi
callq 0x21d0
leaq 0x74cd(%rip), %rdi      # 0x9a11
xorl %eax, %eax
callq 0x2100
movl %ebp, %edi
movq %r12, %rsi
xorl %eax, %eax
callq 0x26b9
pushq $0xa
popq %rdi
callq 0x2030
incl 0xbfdb(%rip)            # 0xe540
xorl %eax, %eax
xorl %ecx, %ecx
testl %ebx, %ebx
setne %al
sete %cl
movl %ecx, 0xc029(%rip)      # 0xe5a0
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq