Mercurial > projects > dstress

annotate run/invariant_25.d @ 1630:d0efa3ae5522 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
run/mini/naked_asm5: New x86_64 ABI passes the arguments in reverse order.
author David Nadlinger <code@klickverbot.at>
date Sat, 23 Apr 2011 22:57:32 +0200
parents ec5e144583ea
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
272
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
1 // $HeadURL$
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
2 // $Date$
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
3 // $Author$
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
4
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
5 // @author@ Thomas Kuehne <thomas-dloop@kuehne.THISISSPAM.cn>
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
6 // @date@ 2005-02-06
1489
b8c0195059d9 changed nntp: URLs to http: URLs
thomask
parents: 736
diff changeset
7 // @uri@ http://www.digitalmars.com/pnews/read.php?server=news.digitalmars.com&group=digitalmars.D.bugs&artnum=2878
272
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
8
736
1e6afb94ce6d updated meta data for Torture
thomask
parents: 272
diff changeset
9 // __DSTRESS_TORTURE_BLOCK__ -release
1e6afb94ce6d updated meta data for Torture
thomask
parents: 272
diff changeset
10
272
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
11 module dstress.run.invariant_25;
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
12
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1489
diff changeset
13 version(Tango){
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1489
diff changeset
14 import tango.core.Exception : AE = AssertException;
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1489
diff changeset
15 }else{
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1489
diff changeset
16 import std.asserterror : AE = AssertError;
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1489
diff changeset
17 }
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1489
diff changeset
18
272
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
19 class MyClass{
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1489
diff changeset
20 invariant(){
272
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
21 assert(0);
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
22 }
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
23 }
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
24
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
25 int main(){
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
26 try{
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
27 MyClass c = new MyClass();
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
28 assert(c);
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1489
diff changeset
29 }catch(AE e){
272
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
30 return 0;
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
31 }
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
32 assert(0);
2f12017c3af9 invariant doesn't throw InvariantException
thomask
parents:
diff changeset
33 }