| ... | ... | 
		@@ -117,7 +117,7 @@  | 
| 117 | 117 | 
		maxcard.addSource(s);  | 
| 118 | 118 | 
		maxcard.start(x);  | 
| 119 | 119 | 
		 | 
| 120 | 
		check(maxcard.processed(s)  | 
|
| 120 | 
		check(maxcard.processed(s) && !maxcard.processed(x) &&  | 
|
| 121 | 121 | 
		!maxcard.processed(y), "Wrong processed()!");  | 
| 122 | 122 | 
		 | 
| 123 | 123 | 
		a=maxcard.nextNode();  | 
| ... | ... | 
		@@ -127,7 +127,7 @@  | 
| 127 | 127 | 
		check(maxcard.processed(a), "Wrong processNextNode()!");  | 
| 128 | 128 | 
		 | 
| 129 | 129 | 
		maxcard.start();  | 
| 130 | 
		check(maxcard.cardinality(x)==2  | 
|
| 130 | 
		check(maxcard.cardinality(x)==2 && maxcard.cardinality(y)>=4,  | 
|
| 131 | 131 | 
		"Wrong cardinalities!");  | 
| 132 | 132 | 
		}  | 
| 133 | 133 | 
		 | 
0 comments (0 inline)