// File: /workspace/github_c_makefile_star2_O0/reactive-systems[P]aiger-ltl-model-checker/combine.c
// Function: check_signals_defined
static void check_signals_defined(const aiger* monitor, const aiger* implementation) {
    // outputs
    for (unsigned i = 0; i < implementation->num_outputs; i++) {
        aiger_symbol output = implementation->outputs[i];
        bool found = false;
        for (unsigned j = 0; j < monitor->num_inputs; j++) {
            aiger_symbol input = monitor->inputs[j];
            if (names_do_match(input.name, output.name)) {
                found = true;
                break;
            }
        }
        if (!found) {
            fprintf(stderr, "error: output %s does not appear in monitor\n", output.name);
            abort();
        }
    }
    
    // inputs
    for (unsigned i = 0; i < implementation->num_inputs; i++) {
        aiger_symbol impl_input = implementation->inputs[i];
        bool found = false;
        for (unsigned j = 0; j < monitor->num_inputs; j++) {
            aiger_symbol input = monitor->inputs[j];
            if (names_do_match(input.name, impl_input.name)) {
                found = true;
                // use next literal to store corresponding literal in monitor
                impl_input.next = input.lit;
                implementation->inputs[i] = impl_input;
                break;
            }
        }
        if (!found) {
            fprintf(stderr, "error: input %s does not appear in monitor\n", impl_input.name);
            abort();
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl $0x0, -0x14(%rbp)
movl -0x14(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0xc(%rcx), %eax
jae 0x16f0
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
movl -0x14(%rbp), %ecx
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rcx
movq %rcx, -0x38(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x30(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x28(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movb $0x0, -0x39(%rbp)
movl $0x0, -0x40(%rbp)
movl -0x40(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x4(%rcx), %eax
jae 0x16b9
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movl -0x40(%rbp), %ecx
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rcx
movq %rcx, -0x60(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x58(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x50(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x1ea0
testb $0x1, %al
jne 0x16a6
jmp 0x16ac
movb $0x1, -0x39(%rbp)
jmp 0x16b9
jmp 0x16ae
movl -0x40(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x40(%rbp)
jmp 0x1656
testb $0x1, -0x39(%rbp)
jne 0x16e0
movq 0xe932(%rip), %rax      # 0xfff8
movq (%rax), %rdi
movq -0x20(%rbp), %rdx
leaq 0xaa8f(%rip), %rsi      # 0xc163
movb $0x0, %al
callq 0x1130
callq 0x1050
jmp 0x16e2
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x160a
movl $0x0, -0x64(%rbp)
movl -0x64(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x4(%rcx), %eax
jae 0x184e
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movl -0x64(%rbp), %ecx
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rcx
movq %rcx, -0x88(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x80(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x78(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x70(%rbp)
movb $0x0, -0x89(%rbp)
movl $0x0, -0x90(%rbp)
movl -0x90(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x4(%rcx), %eax
jae 0x1814
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movl -0x90(%rbp), %ecx
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rcx
movq %rcx, -0xb0(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0xa8(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0xa0(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rdi
movq -0x70(%rbp), %rsi
callq 0x1ea0
testb $0x1, %al
jne 0x17b5
jmp 0x17fe
movb $0x1, -0x89(%rbp)
movl -0xb0(%rbp), %eax
movl %eax, -0x84(%rbp)
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movl -0x64(%rbp), %ecx
shlq $0x5, %rcx
addq %rcx, %rax
movq -0x88(%rbp), %rcx
movq %rcx, (%rax)
movq -0x80(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x78(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0x70(%rbp), %rcx
movq %rcx, 0x18(%rax)
jmp 0x1814
jmp 0x1800
movl -0x90(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x90(%rbp)
jmp 0x174c
testb $0x1, -0x89(%rbp)
jne 0x183e
movq 0xe7d4(%rip), %rax      # 0xfff8
movq (%rax), %rdi
movq -0x70(%rbp), %rdx
leaq 0xa95e(%rip), %rsi      # 0xc190
movb $0x0, %al
callq 0x1130
callq 0x1050
jmp 0x1840
movl -0x64(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x64(%rbp)
jmp 0x16f7
addq $0xb0, %rsp
popq %rbp
retq
nopw (%rax,%rax)