test_check.rs

use erode::check::check;
use erode::read_file;

#[test]
fn check_w1_2() {
    check(&read_file::parse("examples/w1_2.rs")).unwrap();
}

#[test]
fn check_prog() {
    check(&read_file::parse("examples/minimal.rs")).unwrap();
}

#[test]
fn check_assign() {
    check(&read_file::parse("examples/assign.rs")).unwrap();
}

#[test]
fn check_assign2() {
    check(&read_file::parse("examples/assign2.rs")).unwrap();
}

#[test]
fn check_assign3() {
    check(&read_file::parse("examples/assign3.rs")).unwrap();
}

#[test]
fn check_assign_err() {
    check(&read_file::parse("examples/assign_err.rs")).unwrap_err();
}

#[test]
fn check_assign_err2() {
    check(&read_file::parse("examples/assign_err2.rs")).unwrap_err();
}

#[test]
fn check_assign_err3() {
    check(&read_file::parse("examples/assign_err3.rs")).unwrap_err();
}

#[test]
fn check_let() {
    check(&read_file::parse("examples/let.rs")).unwrap();
}

#[test]
fn check_let2() {
    check(&read_file::parse("examples/let2.rs")).unwrap();
}

#[test]
fn check_call() {
    check(&read_file::parse("examples/call.rs")).unwrap();
}

#[test]
fn check_call2() {
    check(&read_file::parse("examples/call2.rs")).unwrap();
}

#[test]
fn check_call3() {
    check(&read_file::parse("examples/call3.rs")).unwrap();
}

#[test]
fn check_call_err() {
    check(&read_file::parse("examples/call_err.rs")).unwrap_err();
}

#[test]
fn check_call_err2() {
    check(&read_file::parse("examples/call_err2.rs")).unwrap_err();
}

#[test]
fn check_type_err() {
    check(&read_file::parse("examples/type_err.rs")).unwrap_err();
}

#[test]
fn check_type_err2() {
    check(&read_file::parse("examples/type_err2.rs")).unwrap_err();
}

#[test]
fn check_if() {
    check(&read_file::parse("examples/if.rs")).unwrap();
}

#[test]
fn check_while() {
    check(&read_file::parse("examples/while.rs")).unwrap();
}

#[test]
fn check_deref_assign() {
    check(&read_file::parse("examples/deref_assign.rs")).unwrap();
}

#[test]
fn check_deref_assign2() {
    check(&read_file::parse("examples/deref_assign2.rs")).unwrap();
}

#[test]
fn check_ref() {
    check(&read_file::parse("examples/ref.rs")).unwrap();
}

#[test]
fn check_ref2() {
    check(&read_file::parse("examples/ref2.rs")).unwrap();
}

#[test]
fn check_ref3() {
    check(&read_file::parse("examples/ref3.rs")).unwrap();
}

#[test]
fn check_ref4() {
    check(&read_file::parse("examples/ref4.rs")).unwrap();
}

#[test]
fn check_ref5() {
    check(&read_file::parse("examples/ref5.rs")).unwrap();
}

#[test]
fn check_ref_err() {
    check(&read_file::parse("examples/ref_err.rs")).unwrap_err();
}

#[test]
fn check_ref_err2() {
    check(&read_file::parse("examples/ref_err2.rs")).unwrap_err();
}

#[test]
fn check_ref_err3() {
    check(&read_file::parse("examples/ref_err3.rs")).unwrap_err();
}

#[test]
fn check_ref_err4() {
    check(&read_file::parse("examples/ref_err4.rs")).unwrap_err();
}

#[test]
fn check_scopes() {
    check(&read_file::parse("examples/scopes.rs")).unwrap();
}

#[test]
fn check_scopes_err() {
    check(&read_file::parse("examples/scopes_err.rs")).unwrap_err();
}

#[test]
fn check_let_if() {
    check(&read_file::parse("examples/let_if.rs")).unwrap();
}

#[test]
fn wip() {
    check(&read_file::parse("examples/wip.rs")).unwrap();
}

#[test]
fn borrow() {
    check(&read_file::parse("examples/borrow.rs")).unwrap();
}