1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
import core::*;
use std;
import std::tri;
pure fn eq1(a: tri::t, b: tri::t) -> bool { tri::eq(a , b) }
pure fn ne1(a: tri::t, b: tri::t) -> bool { tri::ne(a , b) }
pure fn eq2(a: tri::t, b: tri::t) -> bool { eq1( a, b ) && eq1( b, a ) }
#[test]
fn test_eq2() {
tri::all_values { |a|
tri::all_values { |b|
assert if a == b { eq1( a, b ) } else { ne1( a, b ) }
}
}
}
#[test]
fn test_tri_and_symmetry() {
tri::all_values { |a|
tri::all_values { |b|
assert eq1( tri::and(a ,b), tri::and(b, a) );
}
}
}
#[test]
fn test_tri_or_symmetry() {
tri::all_values { |a|
tri::all_values { |b|
assert eq1( tri::or(a ,b), tri::or(b, a) );
}
}
}
#[test]
fn test_tri_xor_symmetry() {
tri::all_values { |a|
tri::all_values { |b|
assert eq1( tri::xor(a ,b), tri::xor(b, a) );
}
}
}
#[test]
fn test_tri_not() {
assert eq2( tri::not(tri::true), tri::false);
assert eq2( tri::not(tri::unknown), tri::unknown);
assert eq2( tri::not(tri::false), tri::true);
}
#[test]
fn test_tri_and() {
assert eq2( tri::and(tri::true, tri::true), tri::true);
assert eq2( tri::and(tri::true, tri::false), tri::false);
assert eq2( tri::and(tri::true, tri::unknown), tri::unknown);
assert eq2( tri::and(tri::false, tri::false), tri::false);
assert eq2( tri::and(tri::false, tri::unknown), tri::false);
assert eq2( tri::and(tri::unknown, tri::unknown), tri::unknown);
}
#[test]
fn test_tri_or() {
assert eq2( tri::or(tri::true, tri::true), tri::true);
assert eq2( tri::or(tri::true, tri::false), tri::true);
assert eq2( tri::or(tri::true, tri::unknown), tri::true);
assert eq2( tri::or(tri::false, tri::false), tri::false);
assert eq2( tri::or(tri::false, tri::unknown), tri::unknown);
assert eq2( tri::or(tri::unknown, tri::unknown), tri::unknown);
}
#[test]
fn test_tri_xor() {
assert eq2( tri::xor(tri::true, tri::true), tri::false);
assert eq2( tri::xor(tri::false, tri::false), tri::false);
assert eq2( tri::xor(tri::true, tri::false), tri::true);
assert eq2( tri::xor(tri::true, tri::unknown), tri::unknown);
assert eq2( tri::xor(tri::false, tri::unknown), tri::unknown);
assert eq2( tri::xor(tri::unknown, tri::unknown), tri::unknown);
}
#[test]
fn test_tri_implies() {
assert eq2( tri::implies(tri::false, tri::false), tri::true);
assert eq2( tri::implies(tri::false, tri::unknown), tri::true);
assert eq2( tri::implies(tri::false, tri::true), tri::true);
assert eq2( tri::implies(tri::unknown, tri::false), tri::unknown);
assert eq2( tri::implies(tri::unknown, tri::unknown), tri::unknown);
assert eq2( tri::implies(tri::unknown, tri::true), tri::true);
assert eq2( tri::implies(tri::true, tri::false), tri::false);
assert eq2( tri::implies(tri::true, tri::unknown), tri::unknown);
assert eq2( tri::implies(tri::true, tri::true), tri::true);
}
#[test]
fn test_tri_from_str() {
tri::all_values { |v|
assert eq2( v, tri::from_str(tri::to_str(v)));
}
}
#[test]
fn test_tri_to_str() {
assert tri::to_str(tri::false) == "false";
assert tri::to_str(tri::unknown) == "unknown";
assert tri::to_str(tri::true) == "true";
}
#[test]
fn test_tri_to_bit() {
tri::all_values { |v|
assert tri::to_bit(v) == if tri::is_true(v) { 1u8 } else { 0u8 };
}
}
|
