AnalyzerTester.MakeTester
module I :
Absint.AbstractInterpreter.S
with type TransferFunctions.CFG.Node.t = IR.Procdesc.Node.t
module T = I.TransferFunctions
module M = I.InvariantMap
val gen_pname : unit -> IR.Procname.t
val structured_program_to_cfg :
StructuredSil.structured_instr Base__List.t ->
Backend__Summary.t
* (StructuredSil.assertion * StructuredSil.label) M.t
* IR.Procdesc.t
val create_test :
StructuredSil.structured_instr Base__List.t ->
(Backend__Summary.t -> I.TransferFunctions.analysis_data) ->
initial:I.TransferFunctions.Domain.t ->
(F.formatter -> I.TransferFunctions.Domain.t -> unit) option ->
'a ->
unit