Mercurial > projects > dstress
annotate run/invariant_14.d @ 736:1e6afb94ce6d
updated meta data for Torture
author | thomask |
---|---|
date | Sat, 12 Nov 2005 07:28:46 +0000 |
parents | f87ba6507260 |
children | 52c9e86b6486 |
rev | line source |
---|---|
140 | 1 // $HeadURL$ |
2 // $Date$ | |
3 // $Author$ | |
4 | |
202 | 5 // @author@ Thomas Kuehne <thomas-dloop@kuehne.thisisspam.cn> |
70
5f98d4a33d49
1) review of all test cases with unexpected results (except encoding and html/xml)
thomask
parents:
59
diff
changeset
|
6 // @date@ 2004-10-22 |
140 | 7 // @uri@ news:clbr09$uc6$1@digitaldaemon.com |
8 // @url@ nntp://digitalmars.com/digitalmars.D.bugs/2140 | |
70
5f98d4a33d49
1) review of all test cases with unexpected results (except encoding and html/xml)
thomask
parents:
59
diff
changeset
|
9 |
736 | 10 // __DSTRESS_TORTURE_BLOCK__ -release |
11 | |
374 | 12 module dstress.run.invariant_14; |
59 | 13 |
14 class Parent{ | |
15 | |
16 int x; | |
17 | |
18 this(){ | |
19 x=3; | |
20 } | |
21 | |
22 invariant{ | |
23 assert(x>2); | |
24 } | |
25 } | |
26 | |
27 class Child : Parent{ | |
28 } | |
29 | |
30 class GrandChild : Child{ | |
31 | |
32 this(){ | |
33 x=5; | |
34 } | |
35 | |
36 invariant{ | |
37 assert(x>4); | |
38 } | |
39 } | |
40 | |
41 int main(){ | |
42 GrandChild gc = new GrandChild(); | |
43 return 0; | |
44 } |