Mercurial > projects > dstress

diff run/invariant_01.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 1e6afb94ce6d
children
line wrap: on
line diff
--- a/run/invariant_01.d	Mon Jul 23 18:47:01 2007 +0000
+++ b/run/invariant_01.d	Sun Aug 19 19:11:54 2007 +0000
@@ -11,8 +11,10 @@
 
 	this(){}
 	
-	invariant{
-		assert(test > 1);
+	invariant(){
+		if(test != 0){
+			assert(0);
+		}
 	}
 }
 
@@ -23,6 +25,8 @@
 	}catch{
 		success++;
 	}
-	assert(success==1);
+	if(success != 1){
+		assert(0);
+	}
 	return 0;
 }