Lines Matching refs:current_checkpoint

101   current_checkpoint := checkpoint;
221   let checkpoint = !current_checkpoint in
286   !current_checkpoint.c_report <- Some report;
301              remove_checkpoint !current_checkpoint;
304            !current_checkpoint.c_state <- C_running duration;
306              !current_checkpoint.c_report <- Some report;
307              !current_checkpoint.c_state <- C_stopped;
309                !current_checkpoint.c_time <-
310                  !current_checkpoint.c_time ++ duration;
315                !current_checkpoint.c_time <-
316                   !current_checkpoint.c_time ++ duration
323                 insert_checkpoint !current_checkpoint
326                   kill_checkpoint !current_checkpoint;
377     find (!current_checkpoint::!checkpoints)
381   List.iter kill_checkpoint (!current_checkpoint::!checkpoints)
388     List.find (function c -> c.c_pid = pid) (!current_checkpoint::!checkpoints)
393       if checkpoint == !current_checkpoint then begin
395         match !current_checkpoint.c_state with
397             Printf.eprintf "at time %Ld" !current_checkpoint.c_time;
401                           !current_checkpoint.c_time
402                           (!current_checkpoint.c_time ++ duration);
404                               (!current_checkpoint.c_time, duration))