Mercurial > projects > dstress
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 } |