Function pt

src/time.cpp:81–88

}

void pt(double mean, double stddev, const char *label) {
  if (mean != 0) {
    if (stddev != 0)
      master_printf("    %21s: %4.6g s +/- %4.6g s\n", label, mean, stddev);
    else
      master_printf("    %21s: %4.6g s\n", label, mean);
  }
}

} // namespace