polenta 0.1.2

A toy language about polynomials over finite-fields
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

pub mod common;
use common::run_test_for_assert;

#[test]
fn test_assert_expr_eq() {
    run_test_for_assert("assert 2 + 2 == 4;");
}

#[test]
fn test_assert_expr_ne() {
    run_test_for_assert("assert 2 + 2 != 5;");
}

#[test]
fn test_assert_let() {
    run_test_for_assert("let a = 3; let b = 4; assert 7 - a == b;");
}

#[test]
fn test_assert_inv() {
    run_test_for_assert("let x = 123; let y = 1 / 123; assert x * y == 1;");
}