Module AnalyzerTester.MakeTester

Parameters

Signature

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