Mercurial > projects > dstress

annotate run/invariant_32.d @ 1559:ec5e144583ea

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
D1 -> D2 : 1/N
author thomask
date Sun, 19 Aug 2007 19:11:54 +0000
parents 1e6afb94ce6d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
392
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
1 // $HeadURL$
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
2 // $Date$
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
3 // $Author$
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
4
736
1e6afb94ce6d updated meta data for Torture
thomask
parents: 392
diff changeset
5 // __DSTRESS_TORTURE_BLOCK__ -release
1e6afb94ce6d updated meta data for Torture
thomask
parents: 392
diff changeset
6
392
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
7 module dstress.run.invariant_32;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
8
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
9 int status;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
10
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
11 class MyClass{
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
12
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
13 ~this(){
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
14 assert(status==1);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
15 status++;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
16 }
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
17
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 736
diff changeset
18 invariant(){
392
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
19 assert(status==0);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
20 status++;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
21 }
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
22 }
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
23
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
24 int main(){
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
25 MyClass c = new MyClass();
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
26 delete c;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
27 assert(status==2);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
28
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
29 return 0;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
30 }