Mercurial > projects > dstress

diff run/invariant_04.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 6e4063f99377
children
line wrap: on
line diff
--- a/run/invariant_04.d	Mon Jul 23 18:47:01 2007 +0000
+++ b/run/invariant_04.d	Sun Aug 19 19:11:54 2007 +0000
@@ -21,8 +21,10 @@
 	void test(){
 	}
 
-	invariant{
-		assert(i==1);
+	invariant(){
+		if(1 != i){
+			assert(0);
+		}
 		tested=true;
 	}
 }
@@ -31,6 +33,8 @@
 	MyStruct s;
 	assert(!tested);
 	s.test();
-	assert(tested);
+	if(!tested){
+		assert(0);
+	}
 	return 0;
 }