Warning: session_start(): open(/var/lib/php/sessions/sess_qisv9qd9vbsqjmdrf8aa6mli89, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static new ThreadLocal ai_search1_stepsTaken;
static O ai_search1(int limit, Iterator iterator, L testers) {
infoBox("Iterating...");
int n = 0;
search: while (iterator.hasNext()) {
ping();
if (++n > limit) {
infoBox("Limit of " + limit + " reached, cancelling.");
break;
}
O o = iterator.next();
for (O tester : testers)
if (!isTrue(callF(tester, o)))
continue search;
infoBox("Answer found in step " + n + "!!! >> " + o);
ai_search1_stepsTaken.set(n);
ret o;
}
ai_search1_stepsTaken.set(limit);
null;
}