// File: /workspace/github_c_makefile_star2_O0/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
movq %rsp, %rbp
subq $0x110, %rsp            # imm = 0x110
testb %al, %al
je 0x23e1
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 %r9, -0xe8(%rbp)
movq %r8, -0xf0(%rbp)
movl %edi, -0x4(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movq %rcx, -0x20(%rbp)
cmpl $0x0, -0x4(%rbp)
je 0x241e
leaq 0x9205(%rip), %rax      # 0xb60f
movq %rax, -0x28(%rbp)
movl $0x1, -0x2c(%rbp)
movl $0x3, -0x30(%rbp)
jmp 0x2472
cmpl $0x0, 0xd11b(%rip)      # 0xf540
jne 0x243b
cmpq $0x0, 0xd119(%rip)      # 0xf548
je 0x243b
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
callq 0x25d0
leaq 0x8cc6(%rip), %rax      # 0xb108
movq %rax, -0x28(%rbp)
movl $0x2, -0x2c(%rbp)
movl $0x2, -0x30(%rbp)
movl 0xd0f6(%rip), %eax      # 0xf550
addl $0x1, %eax
movl %eax, 0xd0ed(%rip)      # 0xf550
movl 0xd0d7(%rip), %eax      # 0xf540
addl $0x1, %eax
movl %eax, 0xd0ce(%rip)      # 0xf540
movl 0xccf8(%rip), %eax      # 0xf170
cmpl -0x30(%rbp), %eax
jl 0x25a3
cmpl $0x0, 0xd0cc(%rip)      # 0xf554
jne 0x24d8
movsbl 0xd0cf(%rip), %eax      # 0xf560
cmpl $0x0, %eax
je 0x24d8
movl $0x1, %edi
callq 0x26f0
movl $0x3, %edi
leaq 0x8c63(%rip), %rsi      # 0xb10f
leaq 0xd0ad(%rip), %rdx      # 0xf560
movb $0x0, %al
callq 0x2770
movl 0xd080(%rip), %eax      # 0xf540
addl $0x1, %eax
movl %eax, 0xd077(%rip)      # 0xf540
movl 0xd085(%rip), %eax      # 0xf554
addl $0x1, %eax
movl %eax, 0xd07c(%rip)      # 0xf554
movsbl 0xd081(%rip), %ecx      # 0xf560
movl $0x1, %edi
movl $0x2, %eax
cmpl $0x0, %ecx
cmovnel %eax, %edi
callq 0x26f0
cmpq $0x0, -0x10(%rbp)
je 0x2535
movq -0x10(%rbp), %rdi
movl $0x2f, %esi
callq 0x20f0
movq %rax, -0x58(%rbp)
cmpq $0x0, -0x58(%rbp)
je 0x2520
movq -0x58(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rsi
movl -0x14(%rbp), %edx
leaq 0x8beb(%rip), %rdi      # 0xb119
movb $0x0, %al
callq 0x20e0
leaq -0x50(%rbp), %rax
leaq -0x110(%rbp), %rcx
movq %rcx, 0x10(%rax)
leaq 0x10(%rbp), %rcx
movq %rcx, 0x8(%rax)
movl $0x30, 0x4(%rax)
movl $0x20, (%rax)
movq -0x20(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x21c0
leaq -0x50(%rbp), %rax
leaq 0x9aaa(%rip), %rdi      # 0xc01b
movb $0x0, %al
callq 0x20e0
movl -0x2c(%rbp), %edi
movq -0x28(%rbp), %rsi
movb $0x0, %al
callq 0x2770
leaq 0x9262(%rip), %rdi      # 0xb7ef
movb $0x0, %al
callq 0x20e0
movl 0xcfa6(%rip), %eax      # 0xf540
addl $0x1, %eax
movl %eax, 0xcf9d(%rip)      # 0xf540
movl -0x4(%rbp), %eax
testl %eax, %eax
sete %al
movzbl %al, %eax
movl %eax, 0xcfec(%rip)      # 0xf5a0
movl 0xcfe6(%rip), %eax      # 0xf5a0
testl %eax, %eax
sete %al
movzbl %al, %eax
addq $0x110, %rsp            # imm = 0x110
popq %rbp
retq
nopl (%rax,%rax)