mathic 0.2.0

A compiler with builtin support of symbolic operations, built with LLVM/MLIR
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

mod common;

use std::path::PathBuf;

use common::compile_and_execute;
use rstest::rstest;

#[rstest]
#[case("examples/control_flow/if_true.mth", 1)]
#[case("examples/control_flow/if_else_true.mth", 1)]
#[case("examples/control_flow/if_else_false.mth", 0)]
#[case("examples/control_flow/while_sum.mth", 55)]
#[case("examples/control_flow/for_sum.mth", 55)]
#[case("examples/control_flow/factorial.mth", 120)]
fn test_control_flow(#[case] path: PathBuf, #[case] expected: i64) {
    let result = compile_and_execute(&path);
    assert_eq!(result, expected);
}