TestInterpreter (infer.UnitTests.LivenessTests.TestInterpreter)

module AI_RPO : sig ... end

module AI_WTO : sig ... end

val ai_list : 
  (string
   * (UnitTests__AnalyzerTester.StructuredSil.structured_instr Base__List.t ->
   (Backend__Summary.t ->
     Absint.AbstractInterpreter.MakeBackwardWTO(Checkers.Liveness.PreAnalysisTransferFunctions(Absint.ProcCfg.Backward(Absint.ProcCfg.Exceptional))).TransferFunctions.analysis_data) ->
   initial:
     Absint.AbstractInterpreter.MakeBackwardWTO(Checkers.Liveness.PreAnalysisTransferFunctions(Absint.ProcCfg.Backward(Absint.ProcCfg.Exceptional))).TransferFunctions.Domain.t ->
   (UnitTests__AnalyzerTester.F.formatter ->
     Absint.AbstractInterpreter.MakeBackwardWTO(Checkers.Liveness.PreAnalysisTransferFunctions(Absint.ProcCfg.Backward(Absint.ProcCfg.Exceptional))).TransferFunctions.Domain.t ->
     unit)
     option ->
   'a ->
   unit))
    list

val create_tests : 
  initial:
    Absint.AbstractInterpreter.MakeBackwardWTO(Checkers.Liveness.PreAnalysisTransferFunctions(Absint.ProcCfg.Backward(Absint.ProcCfg.Exceptional))).TransferFunctions.Domain.t ->
  ?pp_opt:
    (UnitTests__AnalyzerTester.F.formatter ->
      Absint.AbstractInterpreter.MakeBackwardWTO(Checkers.Liveness.PreAnalysisTransferFunctions(Absint.ProcCfg.Backward(Absint.ProcCfg.Exceptional))).TransferFunctions.Domain.t ->
      unit) ->
  (Backend__Summary.t ->
    Absint.AbstractInterpreter.MakeBackwardWTO(Checkers.Liveness.PreAnalysisTransferFunctions(Absint.ProcCfg.Backward(Absint.ProcCfg.Exceptional))).TransferFunctions.analysis_data) ->
  (string
   * UnitTests__AnalyzerTester.StructuredSil.structured_instr Base__List.t)
    list ->
  OUnit2.test list