Changeset 955:7f6eeffe3cd1 in lemon-main
- Timestamp:
- 10/23/11 22:42:14 (13 years ago)
- Branch:
- default
- Phase:
- public
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
test/max_cardinality_search_test.cc
r916 r955 118 118 maxcard.start(x); 119 119 120 check(maxcard.processed(s) and !maxcard.processed(x) and120 check(maxcard.processed(s) && !maxcard.processed(x) && 121 121 !maxcard.processed(y), "Wrong processed()!"); 122 122 … … 128 128 129 129 maxcard.start(); 130 check(maxcard.cardinality(x)==2 andmaxcard.cardinality(y)>=4,130 check(maxcard.cardinality(x)==2 && maxcard.cardinality(y)>=4, 131 131 "Wrong cardinalities!"); 132 132 }
Note: See TracChangeset
for help on using the changeset viewer.