// File: pfnet-research[P]pml/src/test.cpp
// Function: subst_term_test::subst_term_test()
PML_TEST(subst_term_test) {
    assert_eq(
            *logic::subst(
                make<logic::prob_term_t>(make<logic::var_formula_t>("x")),
                "x", make<logic::top_formula_t>()),
            logic::prob_term_t{make<logic::top_formula_t>()});
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0x71f20
movq -0xe0(%rbp), %rax
leaq 0x77d2b(%rip), %rcx     # 0xe6a88
movq %rcx, (%rax)
leaq 0x30e27(%rip), %rsi     # 0x9fb8e
leaq -0x48(%rbp), %rdi
callq 0x68bb0
jmp 0x6ed72
leaq -0x38(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x68b80
jmp 0x6ed81
leaq -0x28(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x25110
leaq -0x79(%rbp), %rdi
movq %rdi, -0xe8(%rbp)
callq 0xa660
movq -0xe8(%rbp), %rdx
leaq 0x30de2(%rip), %rsi     # 0x9fb8e
leaq -0x78(%rbp), %rdi
callq 0x1dd10
jmp 0x6edb7
leaq -0xa0(%rbp), %rdi
callq 0x681c0
jmp 0x6edc5
leaq -0x90(%rbp), %rdi
movq %rdi, -0xf0(%rbp)
leaq -0xa0(%rbp), %rsi
callq 0x40d40
movq -0xf0(%rbp), %rcx
leaq -0x18(%rbp), %rdi
leaq -0x28(%rbp), %rsi
leaq -0x78(%rbp), %rdx
callq 0x1f6a0
jmp 0x6edf9
leaq -0x18(%rbp), %rdi
callq 0x24f80
movq %rax, -0xf8(%rbp)
leaq -0xd8(%rbp), %rdi
callq 0x681c0
jmp 0x6ee17
leaq -0xc8(%rbp), %rdi
movq %rdi, -0x100(%rbp)
leaq -0xd8(%rbp), %rsi
callq 0x40d40
movq -0x100(%rbp), %rsi
leaq -0xb8(%rbp), %rdi
callq 0x28980
jmp 0x6ee46
movq -0xf8(%rbp), %rsi
movq -0xe0(%rbp), %rdi
leaq -0xb8(%rbp), %rdx
callq 0x820c0
jmp 0x6ee62
leaq -0xb8(%rbp), %rdi
callq 0x289e0
leaq -0xc8(%rbp), %rdi
callq 0x16150
leaq -0xd8(%rbp), %rdi
callq 0x40d70
leaq -0x18(%rbp), %rdi
callq 0x25000
leaq -0x90(%rbp), %rdi
callq 0x16150
leaq -0xa0(%rbp), %rdi
callq 0x40d70
leaq -0x78(%rbp), %rdi
callq 0xa240
leaq -0x79(%rbp), %rdi
callq 0xa420
leaq -0x28(%rbp), %rdi
callq 0x25000
leaq -0x38(%rbp), %rdi
callq 0x25140
leaq -0x48(%rbp), %rdi
callq 0x40f00
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6efc6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6efbd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6efa2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6ef99
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6ef81
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6ef78
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6ef60
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x289e0
leaq -0xc8(%rbp), %rdi
callq 0x16150
leaq -0xd8(%rbp), %rdi
callq 0x40d70
leaq -0x18(%rbp), %rdi
callq 0x25000
leaq -0x90(%rbp), %rdi
callq 0x16150
leaq -0xa0(%rbp), %rdi
callq 0x40d70
leaq -0x78(%rbp), %rdi
callq 0xa240
leaq -0x79(%rbp), %rdi
callq 0xa420
leaq -0x28(%rbp), %rdi
callq 0x25000
leaq -0x38(%rbp), %rdi
callq 0x25140
leaq -0x48(%rbp), %rdi
callq 0x40f00
movq -0xe0(%rbp), %rdi
callq 0x71f80
movq -0x50(%rbp), %rdi
callq 0xa650
nopl (%rax,%rax)