<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_gj96u6hs1c749r2sj3h1aqv2sa, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
svoid test_CodeSafetyChecker() {
  new CodeSafetyChecker checker;
  checker.markSafe("iAmSafe");
  testFunctionValues(code -> checker.checkCode(code/S),
    "grkigrgo()", "?",
    [[reversed("abc")]], "safe",
    "iAmSafe()", "safe",
    "jTextField()", "awt",
    [["\*jTextField()*/"]], "awt",
  );
  
  testFunctionValues(code -> checker.verbalCheckResult(code/S),
    "grkigrgo()", "?. Unknown identifiers: grkigrgo",
  );
}