Module ATDGenerated.Runstate_t

type infer_version = {
  1. major : int;
  2. minor : int;
  3. patch : int;
  4. commit : string;
}
type command = InferCommand.t
type run_info = {
  1. date : string;
  2. command : command;
  3. infer_version : infer_version;
}
type t = {
  1. run_sequence : run_info list;
  2. results_dir_format : string;
}