Mercurial > projects > dstress
diff run/invariant_06.d @ 1559:ec5e144583ea
D1 -> D2 : 1/N
author | thomask |
---|---|
date | Sun, 19 Aug 2007 19:11:54 +0000 |
parents | 6e4063f99377 |
children |
line wrap: on
line diff
--- a/run/invariant_06.d Mon Jul 23 18:47:01 2007 +0000 +++ b/run/invariant_06.d Sun Aug 19 19:11:54 2007 +0000 @@ -22,19 +22,27 @@ i++; } - invariant{ + invariant(){ status++; } } int main(){ MyUnion u; - assert(status==0); + if(0 != status){ + assert(0); + } u.test(); - assert(status==1); + if(1 != status){ + assert(0); + } u.i=2; - assert(status==2); + if(2 != status){ + assert(0); + } assert(u); - assert(status==3); + if(3 != status){ + assert(0); + } return 0; }