// File: /workspace/github_cpp_makefile_star2_O2/aalto-speech[P]ftk/test/msfgtest.cc
// Function: MultiStringFactorGraphTest4::test_method()
BOOST_AUTO_TEST_CASE(MultiStringFactorGraphTest4)
{
    MultiStringFactorGraph msfg(start_end_symbol);
    set<string> vocab = {"aarian", "aari", "an", "a", "ari", "ri", "ar", "i", "n", "r"};
    string word("aarian");
    FactorGraph fg(word, start_end_symbol, vocab, 6);
    msfg.add(fg);
    vector<vector<string> > paths;
    msfg.get_paths(word, paths);
    BOOST_CHECK_EQUAL( 11, fg.num_paths() );
    BOOST_CHECK_EQUAL( 11, (int)paths.size() );
    BOOST_CHECK_EQUAL( 11, msfg.num_paths(word) );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x368, %rsp            # imm = 0x368
leaq 0x1e649(%rip), %rsi     # 0x705d8
leaq -0x388(%rbp), %rdi
callq 0x4ee8c
leaq 0x2fa0(%rip), %rsi      # 0x54f42
leaq -0x290(%rbp), %r14
leaq -0x90(%rbp), %rdx
movq %r14, %rdi
callq 0x5160
leaq -0x270(%rbp), %r15
leaq 0x2f83(%rip), %rsi      # 0x54f49
leaq -0x58(%rbp), %rdx
movq %r15, %rdi
callq 0x5160
leaq -0x250(%rbp), %r15
leaq 0x2f66(%rip), %rsi      # 0x54f46
leaq -0x70(%rbp), %rdx
movq %r15, %rdi
callq 0x5160
leaq -0x230(%rbp), %r15
leaq 0x1f32(%rip), %rsi      # 0x53f2c
leaq -0x30(%rbp), %rdx
movq %r15, %rdi
callq 0x5160
leaq -0x210(%rbp), %r15
leaq 0x2f36(%rip), %rsi      # 0x54f4a
leaq -0x2c(%rbp), %rdx
movq %r15, %rdi
callq 0x5160
leaq -0x1f0(%rbp), %r15
leaq 0x2f1d(%rip), %rsi      # 0x54f4b
leaq -0x37(%rbp), %rdx
movq %r15, %rdi
callq 0x5160
leaq -0x1d0(%rbp), %r15
leaq 0x2f06(%rip), %rsi      # 0x54f4e
leaq -0x36(%rbp), %rdx
movq %r15, %rdi
callq 0x5160
leaq -0x1b0(%rbp), %r15
leaq 0x1706(%rip), %rsi      # 0x53768
leaq -0x35(%rbp), %rdx
movq %r15, %rdi
callq 0x5160
leaq -0x190(%rbp), %r15
leaq 0x2ecb(%rip), %rsi      # 0x54f47
leaq -0x34(%rbp), %rdx
movq %r15, %rdi
callq 0x5160
leaq -0x170(%rbp), %r15
leaq 0x2eb9(%rip), %rsi      # 0x54f4f
leaq -0x33(%rbp), %rdx
movq %r15, %rdi
callq 0x5160
leaq -0xe0(%rbp), %rdi
leaq -0x290(%rbp), %rsi
pushq $0xa
popq %rdx
leaq -0x32(%rbp), %rcx
leaq -0x31(%rbp), %r8
callq 0x4ed0a
movl $0x120, %ebx            # imm = 0x120
leaq (%rbx,%rbp), %rdi
addq $-0x290, %rdi           # imm = 0xFD70
callq 0x57b8
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x520c5
leaq 0x2e5c(%rip), %rsi      # 0x54f42
leaq -0x90(%rbp), %rdi
leaq -0x290(%rbp), %rdx
callq 0x5160
leaq 0x1e4d8(%rip), %rdx     # 0x705d8
leaq -0x290(%rbp), %rdi
leaq -0x90(%rbp), %rsi
leaq -0xe0(%rbp), %rcx
pushq $0x6
popq %r8
xorl %r9d, %r9d
callq 0xf742
leaq -0x388(%rbp), %rdi
leaq -0x290(%rbp), %rsi
pushq $0x1
popq %rdx
callq 0x129ea
xorps %xmm0, %xmm0
leaq -0x70(%rbp), %rdx
movaps %xmm0, (%rdx)
andq $0x0, 0x10(%rdx)
leaq -0x388(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x13086
movq 0x1e468(%rip), %rdi     # 0x705c8
leaq 0x2ce3(%rip), %r14      # 0x54e4a
leaq -0x150(%rbp), %rsi
movq %r14, (%rsi)
leaq 0x2ce2(%rip), %r15      # 0x54e5a
movq %r15, 0x8(%rsi)
leaq 0x1892(%rip), %r13      # 0x53a15
leaq -0x140(%rbp), %rcx
movq %r13, (%rcx)
movq %r13, 0x8(%rcx)
pushq $0x4e
popq %rdx
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x1d93c(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x1de01(%rip), %r12     # 0x6ffb0
movq %r12, -0x48(%rbp)
leaq 0x119d(%rip), %rbx      # 0x53357
movq %rbx, -0x40(%rbp)
movq %r14, -0xb0(%rbp)
movq %r15, -0xa8(%rbp)
movl $0xb, -0x30(%rbp)
leaq -0x290(%rbp), %rdi
callq 0x10548
movl %eax, -0x2c(%rbp)
subq $0x8, %rsp
leaq 0x1dc8(%rip), %rax      # 0x53fb5
leaq 0x1da6(%rip), %r10      # 0x53f9a
leaq -0x58(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
pushq $0x4e
popq %rdx
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
leaq -0x30(%rbp), %r9
pushq %rax
leaq -0x2c(%rbp), %rax
pushq %rax
pushq %r10
callq 0x4ea09
addq $0x20, %rsp
movq 0x1e3a3(%rip), %rdi     # 0x705c8
leaq -0x130(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x120(%rbp), %rcx
movq %r13, (%rcx)
movq %r13, 0x8(%rcx)
pushq $0x4f
popq %rdx
callq 0x5710
leaq -0x58(%rbp), %rdi
movb $0x0, 0x8(%rdi)
leaq 0x1d888(%rip), %rax     # 0x6fae0
movq %rax, (%rdi)
movq %r12, 0x10(%rdi)
movq %rbx, 0x18(%rdi)
leaq -0x110(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x30(%rbp), %r9
movl $0xb, (%r9)
movq -0x68(%rbp), %rax
subq -0x70(%rbp), %rax
pushq $0x18
popq %rcx
cqto
idivq %rcx
movl %eax, -0x2c(%rbp)
subq $0x8, %rsp
leaq 0x1d41(%rip), %rax      # 0x53fdb
pushq $0x4f
popq %rdx
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
pushq %rax
leaq -0x2c(%rbp), %rax
pushq %rax
leaq 0x1ce9(%rip), %rax      # 0x53f9a
pushq %rax
callq 0x4ea09
addq $0x20, %rsp
movq 0x1e306(%rip), %rdi     # 0x705c8
leaq -0x100(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0xf0(%rbp), %rcx
movq %r13, (%rcx)
movq %r13, 0x8(%rcx)
pushq $0x50
popq %rdx
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x1d7ef(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq %r12, -0x48(%rbp)
movq %rbx, -0x40(%rbp)
movq %r14, -0xa0(%rbp)
movq %r15, -0x98(%rbp)
movl $0xb, -0x30(%rbp)
leaq -0x388(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x12eee
movl %eax, -0x2c(%rbp)
subq $0x8, %rsp
leaq 0x2c1e(%rip), %rax      # 0x54f51
leaq -0x58(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
pushq $0x50
popq %rdx
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
leaq -0x30(%rbp), %r9
pushq %rax
leaq -0x2c(%rbp), %rax
pushq %rax
leaq 0x1c41(%rip), %rax      # 0x53f9a
pushq %rax
callq 0x4ea09
addq $0x20, %rsp
leaq -0x70(%rbp), %rdi
callq 0x1442a
leaq -0x290(%rbp), %rdi
callq 0x10c24
leaq -0x90(%rbp), %rdi
callq 0x57b8
leaq -0xe0(%rbp), %rdi
callq 0x200e8
leaq -0x388(%rbp), %rdi
callq 0x128f4
addq $0x368, %rsp            # imm = 0x368
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x5242e
movq %rax, %rbx
jmp 0x5243a
movq %rax, %rbx
jmp 0x52446
movq %rax, %rbx
jmp 0x52452
movq %rax, %rbx
movl $0x120, %r12d           # imm = 0x120
leaq (%r12,%rbp), %rdi
addq $-0x290, %rdi           # imm = 0xFD70
callq 0x57b8
addq $-0x20, %r12
cmpq $-0x20, %r12
jne 0x523d1
movb $0x1, %al
jmp 0x52404
jmp 0x523ff
jmp 0x523ff
jmp 0x523ff
jmp 0x523ff
jmp 0x523ff
jmp 0x523ff
jmp 0x523ff
jmp 0x523ff
movq %rax, %rbx
xorl %eax, %eax
cmpq %r15, %r14
sete %cl
testb %al, %al
jne 0x5245e
testb %cl, %cl
jne 0x5245e
addq $-0x20, %r15
movq %r15, %rdi
callq 0x57b8
cmpq %r14, %r15
jne 0x52412
jmp 0x5245e
movq %rax, %rbx
jmp 0x5245e
jmp 0x5242e
jmp 0x5242e
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x1442a
leaq -0x290(%rbp), %rdi
callq 0x10c24
leaq -0x90(%rbp), %rdi
callq 0x57b8
leaq -0xe0(%rbp), %rdi
callq 0x200e8
leaq -0x388(%rbp), %rdi
callq 0x128f4
movq %rbx, %rdi
callq 0x56b0