1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
function unit test () = {
test_assert("eq_bit00", false == bitzero);
test_assert("eq_bit01", not(false == bitone));
test_assert("eq_bit10", not(true == bitzero));
test_assert("eq_bit11", true == bitone);
test_assert("eq_vec0", not (0x1 == 0x2));
test_assert("eq_vec1", 0x2 == 0x2);
test_assert("eq_vec_range0", not (0xf == 16));
test_assert("eq_vec_range1", 0xf == 15);
test_assert("eq_range_vec0", not (16 == 0xf));
test_assert("eq_range_vec1", 15 == 0xf);
test_assert("eq_range0", not(12 == 13));
test_assert("eq_range1", 13 == 13);
test_assert("eq_tup0", not ((true, false) == (bitzero, bitzero)));
test_assert("eq_tup1", (true, false) == (bitone, bitzero));
}
|
