Module Cfg.Pp

Pretty-printing for CFG.

Text printing

val cfg_printer : ('a, MopsaLib.stmt) Ast.CFG.printer

DOT output

val pp_location : Format.formatter -> Mopsa_utils.Core.Location.pos -> unit
val dot_printer : ('a, MopsaLib.stmt) Ast.CFG.dot_printer
val output_dot : string -> string -> Ast.cfg -> unit

Prints the graph in dot format in the specified filename.