Module Absint.TaskSchedulerTypes

type target =
  1. | Procname of {
    1. proc_name : IR.Procname.t;
    2. specialization : IR.Specialization.t option;
    }
  2. | File of IBase.SourceFile.t
type analysis_result =
  1. | Ok
    (*

    Analysis finished normally.

    *)
  2. | RaceOn of {
    1. dependency_filenames : string list;
    }
    (*

    Analysis stopped when trying to access the summary of a callee and that callee is being analyzed by another worker. dependency_filenames are in the path to the callee's lock file.

    *)