| 274 | // |
| 275 | |
| 276 | static void record_coverage(color_ostream &out) { |
| 277 | uint32_t coverage_slot = *cur_year_tick % NUM_COVERAGE_TICKS; |
| 278 | if (coverage_slot >= NUM_COVERAGE_TICKS) |
| 279 | return; |
| 280 | if (!tick_coverage[coverage_slot]) { |
| 281 | DEBUG(cycle,out).print("recording coverage for slot: {}", coverage_slot); |
| 282 | } |
| 283 | tick_coverage[coverage_slot] = true; |
| 284 | } |
| 285 | |
| 286 | static float get_desired_timeskip(int32_t real_fps, int32_t target_fps) { |
| 287 | // minus 1 to account for the current frame |