comparison run/invariant_06.d @ 1559:ec5e144583ea

D1 -> D2 : 1/N
author thomask
date Sun, 19 Aug 2007 19:11:54 +0000
parents 6e4063f99377
children
comparison
equal deleted inserted replaced
1558:d40d75fcd5c5 1559:ec5e144583ea
20 20
21 void test(){ 21 void test(){
22 i++; 22 i++;
23 } 23 }
24 24
25 invariant{ 25 invariant(){
26 status++; 26 status++;
27 } 27 }
28 } 28 }
29 29
30 int main(){ 30 int main(){
31 MyUnion u; 31 MyUnion u;
32 assert(status==0); 32 if(0 != status){
33 assert(0);
34 }
33 u.test(); 35 u.test();
34 assert(status==1); 36 if(1 != status){
37 assert(0);
38 }
35 u.i=2; 39 u.i=2;
36 assert(status==2); 40 if(2 != status){
41 assert(0);
42 }
37 assert(u); 43 assert(u);
38 assert(status==3); 44 if(3 != status){
45 assert(0);
46 }
39 return 0; 47 return 0;
40 } 48 }