1.1 --- a/test/max_cardinality_search_test.cc	Thu Aug 04 22:03:49 2011 +0200
     1.2 +++ b/test/max_cardinality_search_test.cc	Sun Oct 23 22:42:14 2011 +0200
     1.3 @@ -117,7 +117,7 @@
     1.4     maxcard.addSource(s);
     1.5     maxcard.start(x);
     1.6  
     1.7 -   check(maxcard.processed(s) and !maxcard.processed(x) and
     1.8 +   check(maxcard.processed(s) && !maxcard.processed(x) &&
     1.9           !maxcard.processed(y), "Wrong processed()!");
    1.10  
    1.11     a=maxcard.nextNode();
    1.12 @@ -127,7 +127,7 @@
    1.13     check(maxcard.processed(a), "Wrong processNextNode()!");
    1.14  
    1.15     maxcard.start();
    1.16 -   check(maxcard.cardinality(x)==2 and maxcard.cardinality(y)>=4,
    1.17 +   check(maxcard.cardinality(x)==2 && maxcard.cardinality(y)>=4,
    1.18           "Wrong cardinalities!");
    1.19   }
    1.20