// File: /workspace/github_cpp_makefile_star2_O2/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 %rbx
subq $0x238, %rsp            # imm = 0x238
leaq 0x30be2(%rip), %r14     # 0x5a873
movq %r14, -0x68(%rbp)
leaq 0x30be6(%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 0x325e5(%rip), %rsi     # 0x5c2b5
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x395cb(%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 $0x10c, %edx            # imm = 0x10C
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 0x3255a(%rip), %rsi     # 0x5c2b5
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3954f(%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 $0x10c, %edx            # imm = 0x10C
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 0x324cf(%rip), %rsi     # 0x5c2b5
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x394d4(%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 $0x10c, %edx            # imm = 0x10C
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
callq 0x29f88
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 0x3243f(%rip), %rsi     # 0x5c2b5
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x39451(%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 $0x10c, %edx            # imm = 0x10C
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 0x323b4(%rip), %rsi     # 0x5c2b5
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x393d9(%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 $0x10c, %edx            # imm = 0x10C
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
addq $0x238, %rsp            # imm = 0x238
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0x29f71
jmp 0x29f71
jmp 0x29f71
jmp 0x29f71
movq %rax, %rbx
leaq -0x200(%rbp), %rdi
callq 0x31e52
movq %rbx, %rdi
callq 0xf9a0