diff run/invariant_06.d @ 1559:ec5e144583ea

D1 -> D2 : 1/N
author thomask
date Sun, 19 Aug 2007 19:11:54 +0000
parents 6e4063f99377
children
line wrap: on
line diff
--- a/run/invariant_06.d	Mon Jul 23 18:47:01 2007 +0000
+++ b/run/invariant_06.d	Sun Aug 19 19:11:54 2007 +0000
@@ -22,19 +22,27 @@
 		i++;
 	}	
 	
-	invariant{
+	invariant(){
 		status++;
 	}
 }
 
 int main(){
 	MyUnion u;
-	assert(status==0);
+	if(0 != status){
+		assert(0);
+	}
 	u.test();
-	assert(status==1);
+	if(1 != status){
+		assert(0);
+	}
 	u.i=2;
-	assert(status==2);
+	if(2 != status){
+		assert(0);
+	}
 	assert(u);
-	assert(status==3);
+	if(3 != status){
+		assert(0);
+	}
 	return 0;
 }