MakeTester (infer.UnitTests.AnalyzerTester.MakeTester)

Parameters

module I : 
  Absint.AbstractInterpreter.S
    with type TransferFunctions.CFG.Node.t = IR.Procdesc.Node.t

Signature

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