MakeBackwardExceptional (infer.UnitTests.AnalyzerTester.MakeBackwardExceptional)

Parameters

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

Signature

module AI_RPO : sig ... end

module AI_WTO : sig ... end

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

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