Warning: session_start(): open(/var/lib/php/sessions/sess_agg1mcbo0po03orp4cru4qgm7t, 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
!7 sclass A { int a; [stdEq] } sclass B extends A { int b; [stdEq] } static int n = 200000; p { new L l; for (int i = 0; i < n; i++) { l.add(nu(A, a := 1)); l.add(nu(B, a := 2, b := 3)); } print("Objects: " + l(l)); structure_showTiming = true; for i to 8: { // give Server VM time to optimize S s = testStructureFunction(l); /*print("javaTok_streaming"); time { javaTok_streaming(s, new JavaTok_Stream { void add(int i, int j) {} }); }*/ print("\n==\n"); } print("OK"); }