| 239 | /*** Messages and exits ***/ |
| 240 | |
| 241 | static void |
| 242 | final_stats(struct rusage *rus) |
| 243 | { |
| 244 | total_ms = get_run_time_ms(rus); |
| 245 | wall_ms = get_wall_time_ms(); |
| 246 | |
| 247 | meta_printf("time:%d.%03d\n", total_ms/1000, total_ms%1000); |
| 248 | meta_printf("time-wall:%d.%03d\n", wall_ms/1000, wall_ms%1000); |
| 249 | meta_printf("max-rss:%ld\n", rus->ru_maxrss); |
| 250 | meta_printf("csw-voluntary:%ld\n", rus->ru_nvcsw); |
| 251 | meta_printf("csw-forced:%ld\n", rus->ru_nivcsw); |
| 252 | |
| 253 | cg_stats(); |
| 254 | } |
| 255 | |
| 256 | static void NONRET |
| 257 | box_exit(int rc) |
no test coverage detected
searching dependent graphs…