Warning: session_start(): open(/var/lib/php/sessions/sess_u4r1ilc538jipf0gffgf2rkje3, 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
svoid testFullTextSearcher(SS texts, S query, IF1> searcher, TimeCollector tc) { Set solution = asSet(keysWhereValue(text, s -> containingIC(query))); long time = nanos(); Set result = asCollection(searcher.get(query)); tc.addNanos(nanos()-time); for (S s : setDiff_bothWays(solution, result)) fail("Searcher " + searcher + " was wrong on " + s); }