Warning: session_start(): open(/var/lib/php/sessions/sess_dimfaafg6roubuevli5ov31qta, 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 test_DeepWordIndex() { new DeepWordIndex index; index.add("a", "for (int i = 0; i < 5; i++) {}"); index.add("b", "for (S x : y) {}"); assertEqualsVerbose(ll(pair("a", ll(0))), asList(index.lookupString_withPositions("for (int i = 0", debug := true))); assertEqualsVerbose(ll(pair("a", ll(4))), asList(index.lookupString_withPositions("(int i = 0", debug := true))); }