// File: pfnet-research[P]pml/src/test.cpp
// Function: test::run(int, char const**)
void test::run(int, const char**) {
    std::cerr << "\033[32m    <<<< language feature test >>>> \033[39m" << std::endl;
    arith_test{};
    formula_test{};
    let_test{};
    letfun_test{};
    if_test{};
    rand_test{};
    typed_test{};

    std::cerr << "\033[32m    <<<< MDP transion test >>>> \033[39m" << std::endl;
    translation_test{};
    translation_rand_test{};

    std::cerr << "\033[32m    <<<< parsing test >>>> \033[39m" << std::endl;
    parsing_formula_test{};
    parsing_term_test{};
    parsing_reftype_test{};
    parsing_deptype_test{};

    std::cerr << "\033[32m    <<<< subst test >>>> \033[39m" << std::endl;
    subst_term_test{};
    subst_formula_test{};

    std::cerr << "\033[32m    <<<< simple typing test >>>> \033[39m" << std::endl;
    simple_type_arith{};
    simple_type_logical{};
    simple_type_let{};
    simple_type_rand{};

    std::cerr << "\033[32m    <<<< typecheck test >>>> \033[39m" << std::endl;
    typecheck_test{};
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x150, %rsp            # imm = 0x150
movl %edi, -0x4(%rbp)
movq %rsi, -0x10(%rbp)
movq 0x7f53f(%rip), %rdi     # 0xe6fe8
leaq 0x37d48(%rip), %rsi     # 0x9f7f8
callq 0xa3b0
movq %rax, %rdi
movq 0x7f499(%rip), %rsi     # 0xe6f58
callq 0xa400
leaq -0x20(%rbp), %rdi
callq 0x69140
leaq -0x20(%rbp), %rdi
callq 0x69830
leaq -0x30(%rbp), %rdi
callq 0x69910
leaq -0x30(%rbp), %rdi
callq 0x6a5b0
leaq -0x40(%rbp), %rdi
callq 0x6a690
leaq -0x40(%rbp), %rdi
callq 0x6aa60
leaq -0x50(%rbp), %rdi
callq 0x6ab40
leaq -0x50(%rbp), %rdi
callq 0x6b660
leaq -0x60(%rbp), %rdi
callq 0x6b740
leaq -0x60(%rbp), %rdi
callq 0x6bdb0
leaq -0x70(%rbp), %rdi
callq 0x6be90
leaq -0x70(%rbp), %rdi
callq 0x6c500
leaq -0x80(%rbp), %rdi
callq 0x6c5e0
leaq -0x80(%rbp), %rdi
callq 0x6c6f0
movq 0x7f49f(%rip), %rdi     # 0xe6fe8
leaq 0x37cd7(%rip), %rsi     # 0x9f827
callq 0xa3b0
movq %rax, %rdi
movq 0x7f3f9(%rip), %rsi     # 0xe6f58
callq 0xa400
leaq -0x90(%rbp), %rdi
callq 0x6c7d0
leaq -0x90(%rbp), %rdi
callq 0x6cc40
leaq -0xa0(%rbp), %rdi
callq 0x6cd20
leaq -0xa0(%rbp), %rdi
callq 0x6de20
movq 0x7f44d(%rip), %rdi     # 0xe6fe8
leaq 0x37cb0(%rip), %rsi     # 0x9f852
callq 0xa3b0
movq %rax, %rdi
movq 0x7f3a7(%rip), %rsi     # 0xe6f58
callq 0xa400
leaq -0xb0(%rbp), %rdi
callq 0x6df00
leaq -0xb0(%rbp), %rdi
callq 0x6e080
leaq -0xc0(%rbp), %rdi
callq 0x6e160
leaq -0xc0(%rbp), %rdi
callq 0x6e2e0
leaq -0xd0(%rbp), %rdi
callq 0x6e3c0
leaq -0xd0(%rbp), %rdi
callq 0x6e7e0
leaq -0xe0(%rbp), %rdi
callq 0x6e8c0
leaq -0xe0(%rbp), %rdi
callq 0x6ec50
movq 0x7f3cb(%rip), %rdi     # 0xe6fe8
leaq 0x37c54(%rip), %rsi     # 0x9f878
callq 0xa3b0
movq %rax, %rdi
movq 0x7f325(%rip), %rsi     # 0xe6f58
callq 0xa400
leaq -0xf0(%rbp), %rdi
callq 0x6ed30
leaq -0xf0(%rbp), %rdi
callq 0x6efe0
leaq -0x100(%rbp), %rdi
callq 0x6f0c0
leaq -0x100(%rbp), %rdi
callq 0x6f7c0
movq 0x7f379(%rip), %rdi     # 0xe6fe8
leaq 0x37c26(%rip), %rsi     # 0x9f89c
callq 0xa3b0
movq %rax, %rdi
movq 0x7f2d3(%rip), %rsi     # 0xe6f58
callq 0xa400
leaq -0x110(%rbp), %rdi
callq 0x6f8a0
leaq -0x110(%rbp), %rdi
callq 0x70130
leaq -0x120(%rbp), %rdi
callq 0x70210
leaq -0x120(%rbp), %rdi
callq 0x70b60
leaq -0x130(%rbp), %rdi
callq 0x70c40
leaq -0x130(%rbp), %rdi
callq 0x711c0
leaq -0x140(%rbp), %rdi
callq 0x712a0
leaq -0x140(%rbp), %rdi
callq 0x713c0
movq 0x7f2f7(%rip), %rdi     # 0xe6fe8
leaq 0x37bd0(%rip), %rsi     # 0x9f8c8
callq 0xa3b0
movq %rax, %rdi
movq 0x7f251(%rip), %rsi     # 0xe6f58
callq 0xa400
leaq -0x150(%rbp), %rdi
callq 0x714a0
leaq -0x150(%rbp), %rdi
callq 0x71aa0
addq $0x150, %rsp            # imm = 0x150
popq %rbp
retq
nopl (%rax)