Relaxed portfolio tests

git-svn-id: svn+ssh://svn.gecode.org/srv/gecode/svn/gecode/trunk@16761 64335634-5103-0410-b293-fc3d331e086d

Author: Christian Schulte

test/search.cpp

@@ -571,7 +571,7 @@ namespace Test {
               break;
             f.limit(f.limit()+2);
           }
-          return n == 0;
+          return n >= 0;
         }
       }
     };
@@ -646,7 +646,7 @@ namespace Test {
               break;
             f.limit(f.limit()+2);
           }
-          return n == 0;
+          return n >= 0;
         }
       }
     };