ctime 586 src/dps8/hdbg.c (void)fprintf (hdbgOut, "%s\n", ctime (& curtime)); ctime 1332 src/simh/sim_console.c fprintf (sim_log, "Logging to file \"%s\" at %s", sim_logfile_name (sim_log, sim_log_ref), ctime(&now)); ctime 1402 src/simh/sim_console.c sim_logfile_name (sim_deb, sim_deb_ref), ctime(&now)); ctime 562 src/simh/sim_timer.c fprintf (st, " Wall Clock Time Now: %8.8s.%03d\n", 11+ctime(&time_t_now), (int)(now.tv_nsec/1000000)); ctime 566 src/simh/sim_timer.c fprintf (st, " Catchup Tick Time: %8.8s.%03d\n", 11+ctime(&time_t_now), (int)(now.tv_nsec/1000000)); ctime 569 src/simh/sim_timer.c fprintf (st, " Catchup Base Time: %8.8s.%03d\n", 11+ctime(&time_t_now), (int)(now.tv_nsec/1000000));