MakeTesters (infer.UnitTests.AnalyzerTester.MakeTesters)

Parameters

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

module WTO : 
  Absint.AbstractInterpreter.S
    with module TransferFunctions = RPO.TransferFunctions

Signature

module AI_RPO : sig ... end

module AI_WTO : sig ... end

val ai_list : 
  (string
   * (StructuredSil.structured_instr Base__List.t ->
   (Backend__Summary.t -> WTO.TransferFunctions.analysis_data) ->
   initial:WTO.TransferFunctions.Domain.t ->
   (F.formatter -> WTO.TransferFunctions.Domain.t -> unit) option ->
   'a ->
   unit))
    list

val create_tests : 
  initial:WTO.TransferFunctions.Domain.t ->
  ?pp_opt:(F.formatter -> WTO.TransferFunctions.Domain.t -> unit) ->
  (Backend__Summary.t -> WTO.TransferFunctions.analysis_data) ->
  (string * StructuredSil.structured_instr Base__List.t) list ->
  OUnit2.test list