| ... | ... |
@@ -119,3 +119,3 @@ |
| 119 | 119 |
|
| 120 |
check(maxcard.processed(s) |
|
| 120 |
check(maxcard.processed(s) && !maxcard.processed(x) && |
|
| 121 | 121 |
!maxcard.processed(y), "Wrong processed()!"); |
| ... | ... |
@@ -129,3 +129,3 @@ |
| 129 | 129 |
maxcard.start(); |
| 130 |
check(maxcard.cardinality(x)==2 |
|
| 130 |
check(maxcard.cardinality(x)==2 && maxcard.cardinality(y)>=4, |
|
| 131 | 131 |
"Wrong cardinalities!"); |
0 comments (0 inline)