Module IR.DotCfg

val emit_frontend_cfg : IBase.SourceFile.t -> Cfg.t -> unit

emit the given Cfg.t in the "dot" format to a file determined by IBase.Config values

val emit_proc_desc : IBase.SourceFile.t -> Procdesc.t -> string

emit the given Procdesc.t in the "dot" format to a file in infer-out/captured/ and return the path to that file