AI_RPO (infer.UnitTests.TaintTests.TestInterpreter.AI

module T : sig ... end

module M : sig ... end

val gen_pname : unit -> IR.Procname.t

val structured_program_to_cfg : 
  UnitTests__AnalyzerTester.StructuredSil.structured_instr Base__List.t ->
  Backend__Summary.t * (string * int) M.t * IR.Procdesc.t

val create_test : 
  UnitTests__AnalyzerTester.StructuredSil.structured_instr Base__List.t ->
  (Backend__Summary.t ->
    Absint.AbstractInterpreter.MakeRPO(Absint.LowerHil.Make(MockTaintAnalysis.TransferFunctions(Absint.ProcCfg.Normal))(Absint.LowerHil.DefaultConfig)).TransferFunctions.analysis_data) ->
  initial:
    Absint.AbstractInterpreter.MakeRPO(Absint.LowerHil.Make(MockTaintAnalysis.TransferFunctions(Absint.ProcCfg.Normal))(Absint.LowerHil.DefaultConfig)).TransferFunctions.Domain.t ->
  (UnitTests__AnalyzerTester.F.formatter ->
    Absint.AbstractInterpreter.MakeRPO(Absint.LowerHil.Make(MockTaintAnalysis.TransferFunctions(Absint.ProcCfg.Normal))(Absint.LowerHil.DefaultConfig)).TransferFunctions.Domain.t ->
    unit)
    option ->
  'a ->
  unit