Warning: session_start(): open(/var/lib/php/sessions/sess_2bh6krcddv064rit0bhqkh7mbu, 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, int repetitions) { Cl solution = asSet(keysWhereValueContains(query, texts)); repeat repetitions { long time = nanos(); Cl result = asCollection(searcher.get(query)); tc.addNanos(nanos()-time); for (S s : setDiff_bothWays(solution, result)) fail("Searcher " + searcher + " was wrong on " + s); } }