<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_j4qsn22eii0ciu294t5r7cukpk, 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 />
sS ai_verifyDetector(IPred<S> detector, S posLines, S negLines) {
  LS posExamples = tlft(posLines);
  LS negExamples = tlft(negLines);
  LPair<S, Bool> examples = trueFalseBPairs(posExamples, negExamples);
  new LS good;
  new LS bad;
  new Scorer scorer;
  
  long time = sysNow();
  for (Pair<S, Bool> example : examples) {
    S result = detector.get(example.a);
    bool ok = eq(result, str(example.b));
    scorer.add(ok);
    S line = (ok ? "OK" : example.b ? "False negative" : "False positive")
        + " (" + shorten(10, result) + "): " + example.a;
    (ok ? good : bad).add(line);
  }
  time = sysNow()-time;

  ret "Score for detector: " + scorer + "\n"
    + n2(good, "correct answer") + ", " + n2(bad, "bad answer") + ". Runtime: " + n2(time) + " ms\n\n"
    + or2(trim(lines(concatLists(bad, ll(""), good))), "No errors");
}