// File: /workspace/github_cpp_makefile_star2_O2/yanniss[P]souffle-num-addon/num256_test.cpp
// Function: test_in_set_invoker()
BOOST_AUTO_TEST_CASE(test_in_set) {
	BOOST_TEST(
                   in_set("boo|zoo", "too")
                   ==
                   0);

	BOOST_TEST(
                   in_set("boo|zoo", "boo")
                   ==
                   1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x238, %rsp            # imm = 0x238
leaq 0x30700(%rip), %r14     # 0x5a873
movq %r14, -0x68(%rbp)
leaq 0x30704(%rip), %r15     # 0x5a882
movq %r15, -0x60(%rbp)
leaq -0x200(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xf300
movq %rbx, %rdi
callq 0x31ddc
pushq $0x22
popq %rsi
movq %rbx, %rdi
callq 0xf630
leaq 0x32169(%rip), %rsi     # 0x5c31b
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x390e9(%rip), %rsi     # 0x632ae
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq -0x200(%rbp), %rdi
callq 0x31e0e
movq (%rax), %rdx
leaq -0x250(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x68(%rbp), %rsi
movl $0x119, %edx            # imm = 0x119
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
movq %r14, -0x58(%rbp)
movq %r15, -0x50(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xf300
movq %rbx, %rdi
callq 0x31ddc
pushq $0x22
popq %rsi
movq %rbx, %rdi
callq 0xf630
leaq 0x320de(%rip), %rsi     # 0x5c31b
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3906d(%rip), %rsi     # 0x632bd
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq -0x200(%rbp), %rdi
callq 0x31e0e
movq (%rax), %rdx
leaq -0x240(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x58(%rbp), %rsi
movl $0x119, %edx            # imm = 0x119
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
movq %r14, -0x48(%rbp)
movq %r15, -0x40(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xf300
movq %rbx, %rdi
callq 0x31ddc
pushq $0x22
popq %rsi
movq %rbx, %rdi
callq 0xf630
leaq 0x32053(%rip), %rsi     # 0x5c31b
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x38ff2(%rip), %rsi     # 0x632cd
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq -0x200(%rbp), %rdi
callq 0x31e0e
movq (%rax), %rdx
leaq -0x230(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x48(%rbp), %rsi
movl $0x119, %edx            # imm = 0x119
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
callq 0x2a46a
movq %r14, -0x38(%rbp)
movq %r15, -0x30(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xf300
movq %rbx, %rdi
callq 0x31ddc
pushq $0x22
popq %rsi
movq %rbx, %rdi
callq 0xf630
leaq 0x31fc3(%rip), %rsi     # 0x5c31b
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x38f6f(%rip), %rsi     # 0x632da
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq -0x200(%rbp), %rdi
callq 0x31e0e
movq (%rax), %rdx
leaq -0x220(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x38(%rbp), %rsi
movl $0x119, %edx            # imm = 0x119
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
movq %r14, -0x28(%rbp)
movq %r15, -0x20(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xf300
movq %rbx, %rdi
callq 0x31ddc
pushq $0x22
popq %rsi
movq %rbx, %rdi
callq 0xf630
leaq 0x31f38(%rip), %rsi     # 0x5c31b
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x38ef7(%rip), %rsi     # 0x632ed
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq -0x200(%rbp), %rdi
callq 0x31e0e
movq (%rax), %rdx
leaq -0x210(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x28(%rbp), %rsi
movl $0x119, %edx            # imm = 0x119
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
addq $0x238, %rsp            # imm = 0x238
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2a453
jmp 0x2a453
jmp 0x2a453
jmp 0x2a453
movq %rax, %rbx
leaq -0x200(%rbp), %rdi
callq 0x31e52
movq %rbx, %rdi
callq 0xf9a0