Module TOPLlib__ToplMonitor
val generate : TOPLlib.ToplAutomaton.t -> IR.Procname.t -> IR.Procdesc.t optiongenerate automaton proc_namereturns a CFG, provided thatproc_nameis a recognized procedure name
val sourcefile : unit -> IBase.SourceFile.tFor debug.
val cfg : unit -> IR.Cfg.tFor debug. This datastructure accumulates all the procedures that were synthesized by the current process. If the implementation is correct, then different processes synthesize the same procedures, given the same set of Topl properties. However, for debug, we print the datastructure in a filename that contains the PID, which is why
sourcefileis exposed.