// File: /workspace/github_c_makefile_star2_O1/chatziko-k08[P]lecture-code/tests/../include/acutest.h
// Function: acutest_check_
acutest_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 = ACUTEST_COLOR_GREEN_;
        verbose_level = 3;
    } else {
        if(!acutest_test_already_logged_  &&  acutest_current_test_ != NULL)
            acutest_finish_test_line_(-1);

        result_str = "failed";
        result_color = ACUTEST_COLOR_RED_;
        verbose_level = 2;
        acutest_test_failures_++;
        acutest_test_already_logged_++;
    }

    if(acutest_verbose_level_ >= verbose_level) {
        va_list args;

        if(!acutest_case_already_logged_  &&  acutest_case_name_[0]) {
            acutest_line_indent_(1);
            acutest_colored_printf_(ACUTEST_COLOR_DEFAULT_INTENSIVE_, "Case %s:\n", acutest_case_name_);
            acutest_test_already_logged_++;
            acutest_case_already_logged_++;
        }

        acutest_line_indent_(acutest_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("... ");
        acutest_colored_printf_(result_color, "%s", result_str);
        printf("\n");
        acutest_test_already_logged_++;
    }

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

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rcx, %r14
movl %edx, %r12d
movq %rsi, %r13
movl %edi, %ebx
movq %r8, 0x40(%rsp)
movq %r9, 0x48(%rsp)
testb %al, %al
je 0x263d
movaps %xmm0, 0x50(%rsp)
movaps %xmm1, 0x60(%rsp)
movaps %xmm2, 0x70(%rsp)
movaps %xmm3, 0x80(%rsp)
movaps %xmm4, 0x90(%rsp)
movaps %xmm5, 0xa0(%rsp)
movaps %xmm6, 0xb0(%rsp)
movaps %xmm7, 0xc0(%rsp)
testl %edi, %edi
je 0x2654
movl $0x3, %eax
movl $0x1, %ebp
leaq 0x3fd1(%rip), %r15      # 0x6623
jmp 0x268e
cmpl $0x0, 0x7b25(%rip)      # 0xa180
jne 0x2671
cmpq $0x0, 0x7b23(%rip)      # 0xa188
je 0x2671
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
callq 0x27a0
incl 0x7b19(%rip)            # 0xa190
incl 0x7b03(%rip)            # 0xa180
movl $0x2, %ebp
leaq 0x3a77(%rip), %r15      # 0x6100
movl $0x2, %eax
cmpl %eax, 0x7ad4(%rip)      # 0xa168
jl 0x277c
cmpl $0x0, 0x7af3(%rip)      # 0xa194
jne 0x26dc
cmpb $0x0, 0x7af6(%rip)      # 0xa1a0
je 0x26dc
movl $0x1, %edi
callq 0x2880
leaq 0x3a4a(%rip), %rsi      # 0x6107
leaq 0x7adc(%rip), %rdx      # 0xa1a0
movl $0x3, %edi
xorl %eax, %eax
callq 0x28e6
incl 0x7aaa(%rip)            # 0xa180
incl 0x7ab8(%rip)            # 0xa194
cmpb $0x1, 0x7abd(%rip)      # 0xa1a0
movl $0x2, %edi
sbbl $0x0, %edi
callq 0x2880
testq %r13, %r13
je 0x271e
movq %r13, %rdi
movl $0x2f, %esi
callq 0x2100
leaq 0x1(%rax), %rsi
testq %rax, %rax
cmoveq %r13, %rsi
leaq 0x39fd(%rip), %rdi      # 0x6111
movl %r12d, %edx
xorl %eax, %eax
callq 0x20f0
leaq 0x20(%rsp), %rax
movq %rsp, %rsi
movq %rax, 0x10(%rsi)
leaq 0x110(%rsp), %rax
movq %rax, 0x8(%rsi)
movabsq $0x3000000020, %rax     # imm = 0x3000000020
movq %rax, (%rsi)
movq %r14, %rdi
callq 0x21c0
leaq 0x428c(%rip), %rdi      # 0x69de
xorl %eax, %eax
callq 0x20f0
leaq 0x3f2b(%rip), %rsi      # 0x668b
movl %ebp, %edi
movq %r15, %rdx
xorl %eax, %eax
callq 0x28e6
movl $0xa, %edi
callq 0x2030
incl 0x7a04(%rip)            # 0xa180
xorl %eax, %eax
xorl %ecx, %ecx
testl %ebx, %ebx
setne %al
sete %cl
movl %ecx, 0x7a52(%rip)      # 0xa1e0
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq