// File: /workspace/github_cpp_makefile_star2_O3/yanniss[P]souffle-num-addon/num256_test.cpp
// Function: test_add_set_invoker()
BOOST_AUTO_TEST_CASE(test_add_set) {
	BOOST_TEST(
                   add_set("boo|zoo", "too")
                   ==
                   "boo|too|zoo");

	BOOST_TEST(
                   add_set("", "")
                   ==
                   "");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1b8, %rsp            # imm = 0x1B8
leaq -0x1e0(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe2d0
movq %rbx, %rdi
callq 0xe6e0
leaq -0x58(%rbp), %r15
movq %r15, -0x10(%r15)
movq $0x0, -0x8(%r15)
movb $0x0, (%r15)
leaq -0x48(%rbp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0xe5d0
leaq 0x3769a(%rip), %rsi     # 0x672bb
leaq -0x1e0(%rbp), %rdi
movl $0xc, %edx
callq 0xe5d0
leaq 0x3e1eb(%rip), %rsi     # 0x6de24
leaq -0x1e0(%rbp), %rdi
movl $0xe, %edx
callq 0xe5d0
leaq -0x1d8(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0xe830
leaq -0x68(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movq %rbx, %rsi
callq 0xe660
movq (%rbx), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x2fc82
movq -0x38(%rbp), %rsi
incq %rsi
callq 0xe530
movq -0x68(%rbp), %rbx
movq -0x60(%rbp), %r14
callq 0x1ef2d
movq 0x61c42(%rip), %rdx     # 0x918d8
leaq 0x61c33(%rip), %rdi     # 0x918d0
xorl %esi, %esi
movq %rbx, %rcx
movq %r14, %r8
callq 0xe800
leaq 0x35bc8(%rip), %r13     # 0x65879
movq %r13, 0x61c00(%rip)     # 0x918b8
leaq 0x35bc9(%rip), %r12     # 0x65888
movq %r12, 0x61bfa(%rip)     # 0x918c0
movq $0x10c, 0x61bf7(%rip) # imm = 0x10C
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x2fce6
movq -0x58(%rbp), %rsi
incq %rsi
callq 0xe530
movq 0x5f2c3(%rip), %rsi     # 0x8efb0
leaq -0x1e0(%rbp), %rdi
callq 0xe2a0
leaq -0x170(%rbp), %rdi
callq 0xe1e0
leaq -0x1e0(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe2d0
movq %rbx, %rdi
callq 0xe6e0
movq %r15, 0x178(%rbx)
movq $0x0, 0x180(%rbx)
movb $0x0, 0x188(%rbx)
leaq -0x48(%rbp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0xe5d0
leaq 0x37564(%rip), %rsi     # 0x672bb
leaq -0x1e0(%rbp), %rdi
movl $0xc, %edx
callq 0xe5d0
leaq 0x3e0c4(%rip), %rsi     # 0x6de33
leaq -0x1e0(%rbp), %rdi
movl $0xf, %edx
callq 0xe5d0
leaq -0x1d8(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0xe830
leaq -0x68(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movq %rbx, %rsi
callq 0xe660
movq (%rbx), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x2fdb8
movq -0x38(%rbp), %rsi
incq %rsi
callq 0xe530
movq -0x68(%rbp), %rbx
movq -0x60(%rbp), %r14
callq 0x1ef2d
movq 0x61b0c(%rip), %rdx     # 0x918d8
leaq 0x61afd(%rip), %rdi     # 0x918d0
xorl %esi, %esi
movq %rbx, %rcx
movq %r14, %r8
callq 0xe800
movq %r13, 0x61ad1(%rip)     # 0x918b8
movq %r12, 0x61ad2(%rip)     # 0x918c0
movq $0x10c, 0x61acf(%rip) # imm = 0x10C
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x2fe0e
movq -0x58(%rbp), %rsi
incq %rsi
callq 0xe530
movq 0x5f19b(%rip), %rsi     # 0x8efb0
leaq -0x1e0(%rbp), %rdi
callq 0xe2a0
leaq -0x170(%rbp), %rdi
callq 0xe1e0
leaq -0x1e0(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe2d0
movq %rbx, %rdi
callq 0xe6e0
movq %r15, 0x178(%rbx)
movq $0x0, 0x180(%rbx)
movb $0x0, 0x188(%rbx)
leaq -0x48(%rbp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0xe5d0
leaq 0x3743c(%rip), %rsi     # 0x672bb
leaq -0x1e0(%rbp), %rdi
movl $0xc, %edx
callq 0xe5d0
leaq 0x3dfac(%rip), %rsi     # 0x6de43
leaq -0x1e0(%rbp), %rdi
movl $0xc, %edx
callq 0xe5d0
leaq -0x1d8(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0xe830
leaq -0x68(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movq %rbx, %rsi
callq 0xe660
movq (%rbx), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x2fee0
movq -0x38(%rbp), %rsi
incq %rsi
callq 0xe530
movq -0x68(%rbp), %rbx
movq -0x60(%rbp), %r14
callq 0x1ef2d
movq 0x619e4(%rip), %rdx     # 0x918d8
leaq 0x619d5(%rip), %rdi     # 0x918d0
xorl %esi, %esi
movq %rbx, %rcx
movq %r14, %r8
callq 0xe800
movq %r13, 0x619a9(%rip)     # 0x918b8
movq %r12, 0x619aa(%rip)     # 0x918c0
movq $0x10c, 0x619a7(%rip) # imm = 0x10C
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x2ff36
movq -0x58(%rbp), %rsi
incq %rsi
callq 0xe530
movq 0x5f073(%rip), %rsi     # 0x8efb0
leaq -0x1e0(%rbp), %rdi
callq 0xe2a0
leaq -0x170(%rbp), %rdi
callq 0xe1e0
callq 0x301dc
leaq -0x1e0(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe2d0
movq %rbx, %rdi
callq 0xe6e0
movq %r15, 0x178(%rbx)
movq $0x0, 0x180(%rbx)
movb $0x0, 0x188(%rbx)
leaq -0x48(%rbp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0xe5d0
leaq 0x3730f(%rip), %rsi     # 0x672bb
leaq -0x1e0(%rbp), %rdi
movl $0xc, %edx
callq 0xe5d0
leaq 0x3de8c(%rip), %rsi     # 0x6de50
leaq -0x1e0(%rbp), %rdi
movl $0x12, %edx
callq 0xe5d0
leaq -0x1d8(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0xe830
leaq -0x68(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movq %rbx, %rsi
callq 0xe660
movq (%rbx), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x3000d
movq -0x38(%rbp), %rsi
incq %rsi
callq 0xe530
movq -0x68(%rbp), %rbx
movq -0x60(%rbp), %r14
callq 0x1ef2d
movq 0x618b7(%rip), %rdx     # 0x918d8
leaq 0x618a8(%rip), %rdi     # 0x918d0
xorl %esi, %esi
movq %rbx, %rcx
movq %r14, %r8
callq 0xe800
movq %r13, 0x6187c(%rip)     # 0x918b8
movq %r12, 0x6187d(%rip)     # 0x918c0
movq $0x10c, 0x6187a(%rip) # imm = 0x10C
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x30063
movq -0x58(%rbp), %rsi
incq %rsi
callq 0xe530
movq 0x5ef46(%rip), %rsi     # 0x8efb0
leaq -0x1e0(%rbp), %rdi
callq 0xe2a0
leaq -0x170(%rbp), %rdi
callq 0xe1e0
leaq -0x1e0(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe2d0
movq %rbx, %rdi
callq 0xe6e0
movq %r15, 0x178(%rbx)
movq $0x0, 0x180(%rbx)
movb $0x0, 0x188(%rbx)
leaq -0x48(%rbp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0xe5d0
leaq 0x371e7(%rip), %rsi     # 0x672bb
leaq -0x1e0(%rbp), %rdi
movl $0xc, %edx
callq 0xe5d0
leaq 0x3dd77(%rip), %rsi     # 0x6de63
leaq -0x1e0(%rbp), %rdi
movl $0xe, %edx
callq 0xe5d0
leaq -0x1d8(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0xe830
leaq -0x68(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movq %rbx, %rsi
callq 0xe660
movq (%rbx), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x30135
movq -0x38(%rbp), %rsi
incq %rsi
callq 0xe530
movq -0x68(%rbp), %rbx
movq -0x60(%rbp), %r14
callq 0x1ef2d
movq 0x6178f(%rip), %rdx     # 0x918d8
leaq 0x61780(%rip), %rdi     # 0x918d0
xorl %esi, %esi
movq %rbx, %rcx
movq %r14, %r8
callq 0xe800
movq %r13, 0x61754(%rip)     # 0x918b8
movq %r12, 0x61755(%rip)     # 0x918c0
movq $0x10c, 0x61752(%rip) # imm = 0x10C
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x3018b
movq -0x58(%rbp), %rsi
incq %rsi
callq 0xe530
movq 0x5ee1e(%rip), %rsi     # 0x8efb0
leaq -0x1e0(%rbp), %rdi
callq 0xe2a0
leaq -0x170(%rbp), %rdi
callq 0xe1e0
addq $0x1b8, %rsp            # imm = 0x1B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x301c4
jmp 0x301c4
jmp 0x301c4
jmp 0x301c4
movq %rax, %rbx
leaq -0x1e0(%rbp), %rdi
callq 0x390dc
movq %rbx, %rdi
callq 0xe950
nop