please include function getTestResults_list.

static void addTestResultVerbose(String desc, bool ok) {
  print((ok ? "100%" : "0%") + ": " + desc);
  addTestResult(desc, ok);
}