|
0
|
1 // $Header: /home/th/Dokumente/Entwicklung/MEIN_CVS/MiniD/src/run/bit_03.d,v 1.1 2004/08/20 23:42:51 th Exp $
|
|
|
2
|
|
|
3 int main(){
|
|
|
4 bit a;
|
|
|
5 bit b;
|
|
|
6 bit c;
|
|
|
7
|
|
|
8 a = false; b = !a;
|
|
|
9 assert( a == false );
|
|
|
10 assert( b == true );
|
|
|
11 a = true; b = !a;
|
|
|
12 assert( a == true );
|
|
|
13 assert( b == false );
|
|
|
14
|
|
|
15 // AndAnd
|
|
|
16 a=true; b=true; c=a&&b;
|
|
|
17 assert( a == true );
|
|
|
18 assert( b == true );
|
|
|
19 assert( c == true );
|
|
|
20 a=true; b=false; c=a&&b;
|
|
|
21 assert( a == true );
|
|
|
22 assert( b == false );
|
|
|
23 assert( c == false );
|
|
|
24 a=false; b=true; c=a&&b;
|
|
|
25 assert( a == false );
|
|
|
26 assert( b == true );
|
|
|
27 assert( c == false );
|
|
|
28 a=false; b=false; c=a&&b;
|
|
|
29 assert( a == false );
|
|
|
30 assert( b == false );
|
|
|
31 assert( c == false );
|
|
|
32
|
|
|
33 // OrOr
|
|
|
34 a=true; b=true; c=a||b;
|
|
|
35 assert( a == true );
|
|
|
36 assert( b == true ),
|
|
|
37 assert( c == true );
|
|
|
38 a=true; b=false; c=a||b;
|
|
|
39 assert( a == true );
|
|
|
40 assert( b == false );
|
|
|
41 assert( c == true );
|
|
|
42 a=false; b=true; c=a||b;
|
|
|
43 assert( a == false );
|
|
|
44 assert( b == true );
|
|
|
45 assert( c == true );
|
|
|
46 a=false; b=false; c=a||b;
|
|
|
47 assert( a == false );
|
|
|
48 assert( b == false );
|
|
|
49 assert( c == false );
|
|
|
50
|
|
|
51 // Equality Expression ("==")
|
|
|
52 a=true; b=true; c= a==b;
|
|
|
53 assert( a == true );
|
|
|
54 assert( b == true );
|
|
|
55 assert( c == true );
|
|
|
56 a=true; b=false; c= a==b;
|
|
|
57 assert( a == true );
|
|
|
58 assert( b == false );
|
|
|
59 assert( c == false );
|
|
|
60 a=false; b=true; c= a==b;
|
|
|
61 assert( a == false );
|
|
|
62 assert( b == true );
|
|
|
63 assert( c == false );
|
|
|
64 a=false; b=false; c= a==b;
|
|
|
65 assert( a == false );
|
|
|
66 assert( b == false );
|
|
|
67 assert( c == true );
|
|
|
68
|
|
|
69 // Inequality Expression ("!=")
|
|
|
70 a=true; b=true; c= a!=b;
|
|
|
71 assert( a == true );
|
|
|
72 assert( b == true );
|
|
|
73 assert( c == false );
|
|
|
74 a=true; b=false; c= a!=b;
|
|
|
75 assert( a == true );
|
|
|
76 assert( b == false );
|
|
|
77 assert( c == true );
|
|
|
78 a=false; b=true; c= a!=b;
|
|
|
79 assert( a == false );
|
|
|
80 assert( b == true );
|
|
|
81 assert( c == true );
|
|
|
82 a=false; b=false; c= a!=b;
|
|
|
83 assert( a == false );
|
|
|
84 assert( b == false );
|
|
|
85 assert( c == false );
|
|
|
86
|
|
|
87 return 0;
|
|
|
88 }
|
