| ... | ... |
@@ -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)