Warning: session_start(): open(/var/lib/php/sessions/sess_p94l2t1fr1prileill1h0ck6e5, 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
asclass TestUnorderedSet { new HashSet a; Set b; settable Long randomSeed; abstract Set makeSet(); int n = 1000, valueRange = 100; bool remove = true; O makeEntry() { ret random(valueRange); } O randomNonContainedEntry() { ret random(valueRange+1, valueRange*2); } S moreInfo(Set b) { ret ""; } void printStats { print(joinNemptiesWithSlash(n2(b), moreInfo(b)) + " - " + takeFirst(10, b.iterator()); print(/*"Size HashSet: " + n2(deepObjectSize(a))*/ "Size " + shortClassName(b) + ": " + n2(deepObjectSize(b))); } run { temp tempSetRandomSeedUnlessNull(randomSeed); b = makeSet(); printStats(); repeat n { var o = makeEntry(); bool change = addToTwoCollections(a, b, o); print((change ? "Added " : "Already contained ") + o); if (remove) { o = makeEntry(); change = removeFromTwoCollections(a, b, o); print((change ? "Removed " : "Didn't contain ") + o); } assertSetsEqual(a, b); repeat 5 { assertFalse(b.contains(randomNonContainedEntry())); } printStats(); } } }