Mercurial > projects > dstress

annotate run/invariant_01.d @ 736:1e6afb94ce6d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated meta data for Torture
author thomask
date Sat, 12 Nov 2005 07:28:46 +0000
parents f87ba6507260
children ec5e144583ea
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
374
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
1 // $HeadURL$
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
2 // $Date$
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
3 // $Author$
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
4
736
1e6afb94ce6d updated meta data for Torture
thomask
parents: 374
diff changeset
5 // __DSTRESS_TORTURE_BLOCK__ -release
1e6afb94ce6d updated meta data for Torture
thomask
parents: 374
diff changeset
6
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
7 module dstress.run.invariant_01;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
8
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
9 class MyClass{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
10 int test;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
11
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
12 this(){}
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
13
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
14 invariant{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
15 assert(test > 1);
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
16 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
17 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
18
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
19 int main(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
20 int success;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
21 try{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
22 MyClass c = new MyClass();
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
23 }catch{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
24 success++;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
25 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
26 assert(success==1);
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
27 return 0;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
28 }