Module UnitTests__AnalyzerTester.MakeMake

Parameters

• MakeAbstractInterpreter : Absint.AbstractInterpreter.Make
• T : Absint.TransferFunctions.SIL with type CFG.Node.t = IR.Procdesc.Node.t

Signature

val structured_program_to_cfg : StructuredSil.structured_instr list -> IR.Procname.t -> Backend__Summary.t * (StructuredSil.assertion * StructuredSil.label) M.t

val create_test : StructuredSil.structured_instr list -> (Backend__Summary.t -> I.TransferFunctions.analysis_data) -> initial:I.TransferFunctions.Domain.t -> (F.formatter -> I.TransferFunctions.Domain.t -> unit) option -> IR.Procname.t -> 'a -> unit