Warning: session_start(): open(/var/lib/php/sessions/sess_t8cjn6tcsc2uff9mjmq1gq4503, 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
p {
// ll method
for (int n = 0; n <= 10; n++) {
O[] data = repArrayF(f aGlobalID, n);
O l = smallestList_ll(data);
check(data, l);
}
// add method
O l = null;
O[] data = new O[0];
for (int n = 0; n <= 10; n++) {
check(data, l);
data = addToObjectArray(data, aGlobalID());
l = smallestList_add(l, last(data));
}
print("OK!");
}
svoid check(O[] data, O l) {
int n = l(data);
print("Size " + n + ": " + sfu(l));
assertEquals(n, smallestList_l(l));
for i to n:
assertEquals(data[i], smallestList_get(l, i));
assertEquals(asList(data), new L(smallestList_asList(l)));
int size = 0;
if (l != null)
if (l instanceof S) size = 0;
else size = toInt(unsafe_sizeOf(l));
print("Bytes used for list: " + size + " bytes");
printStruct(unsafe_allFieldOffsets(l));
}