type instrumented_file = {
filename : string;
points : int array;
counts : int array;
}
val coverage_file_identifier : string
val register_file :
filename:string ->
points:int array ->
[ `Visit of int -> unit ]
val runtime_data_to_string : unit -> string option
val reset_counters : unit -> unit
val random_filename : prefix:string -> string