Module Absint.TaskSchedulerTypes

exception ProcnameAlreadyLocked of {
dependency_filename : string;
}

for the Restart scheduler: raise when a worker tries to analyze a procedure already being analyzed by another process

type target =
| Procname of IR.Procname.t
| File of IBase.SourceFile.t
| ProcUID of string

matches primary key of procedures and specs tables; see ResultsDatabase.ml