Module Backend.NodePrinter

Simplified html node printer for checkers

val with_session : ?kind:[< `ComputePre | `ExecNode | `ExecNodeNarrowing | `WTO ] -> pp_name:(Stdlib.Format.formatter -> unit) -> IR.Procdesc.Node.t -> f:(unit -> 'a) -> 'a

Wraps f in an html debug session

val with_html_printing_disabled_if : f:(unit -> 'a) -> bool -> 'a