Module AnalyzerTester.Make
Parameters
T : Absint.TransferFunctions.SIL with type CFG.Node.t = IR.Procdesc.Node.t
Signature
module AI_RPO : sig ... endmodule AI_WTO : sig ... endval ai_list : (string * (StructuredSil.structured_instr list -> (Backend__Summary.t -> AI_RPO.I.TransferFunctions.analysis_data) -> initial:AI_RPO.I.TransferFunctions.Domain.t -> (F.formatter -> AI_RPO.I.TransferFunctions.Domain.t -> unit) option -> IR.Procname.t -> 'a -> unit)) listval create_tests : ?test_pname:IR.Procname.t -> initial:AI_RPO.I.TransferFunctions.Domain.t -> ?pp_opt:(F.formatter -> AI_RPO.I.TransferFunctions.Domain.t -> unit) -> (Backend__Summary.t -> AI_RPO.I.TransferFunctions.analysis_data) -> (string * StructuredSil.structured_instr list) list -> OUnit2.test list