Warning: session_start(): open(/var/lib/php/sessions/sess_5lfjt7mrvi1sh1j82f8h2cf159, 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
sclass TestFindEndOfBlockFunction {
swappable int functionToTest(LS tok, int i) { throw unimplemented(); }
int n = 20, repetitions = 1000;
LS tok;
run {
repeat repetitions {
tok = javaTok(repF(n, -> tossCoin() ? "{" : "}"));
print(join(tok));
int i = random(l(tok)) | 1;
assertEquals(tok_findEndOfBlock(tok, i), functionToTest(tok, i));
}
print("OK after " + nRepetitions(repetitions));
}
}