Make (goblint.Goblint_lib.AnalysisResultOutput.Make)

Parameters

module Result : AnalysisResult.Result

Signature

val pretty : unit -> Result.Range.t Result.H.t -> GoblintCil.Pretty.doc

val pretty_deterministic : 
  unit ->
  Result.Range.t Result.H.t ->
  GoblintCil.Pretty.doc

val printJson : 'a BatInnerIO.output -> Result.Range.t Result.H.t -> unit

val output : 
  Result.Range.t Result.H.t Stdlib.Lazy.t ->
  (MyCFG.node -> bool) ->
  'a ->
  (unit BatIO.output -> 'a -> unit) ->
  (module MyCFG.FileCfg) ->
  unit