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

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
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_02;
374
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
8
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
9 int status;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
10
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
11 class MyClass{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
12 int test;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
13
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
14 this(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
15 test=2;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
16 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
17
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 736
diff changeset
18 invariant(){
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 736
diff changeset
19 if(2 != test){
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 736
diff changeset
20 assert(0);
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 736
diff changeset
21 }
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
22 status++;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
23 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
24 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
25
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
26 int main(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
27 assert(status==0);
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
28 MyClass c = new MyClass();
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 736
diff changeset
29 if(1 != status){
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 736
diff changeset
30 assert(0);
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 736
diff changeset
31 }
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
32 return 0;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
33 }