Module Odoc_driver_lib.RunSource

Sourceval instrument : bool
Sourceval instrument_dir : Fpath.t lazy_t
Sourcetype t = {
  1. cmd : string list;
  2. time : float;
    (*

    Running time in seconds.

    *)
  3. output_file : Fpath.t option;
  4. output : string;
  5. errors : string;
  6. status : [ `Exited of int | `Signaled of int ];
}
Sourceval commands : t list ref
Sourceval n : int Atomic.t
Sourceval run : < process_mgr : [> [> `Generic ] Eio.Process.mgr_ty ] Eio.Process.mgr.. > -> Bos.Cmd.t -> Fpath.t option -> t

Return the list of executed commands where the first argument was cmd.

Print an executed command and its time.

Sourceval filter_commands : string -> t list
Sourceval print_cmd : t -> unit
Sourceval k_longest_commands : string -> int -> t list

Returns the k commands that took the most time for a given subcommand.