Module `AbstractInterpreterTests.ExceptionalTestInterpreter`

module AI_RPO : sig ... end

module AI_WTO : sig ... end

val ai_list : (string * (UnitTests__AnalyzerTester.StructuredSil.structured_instr list -> (Backend__Summary.t -> AI_RPO.I.TransferFunctions.analysis_data) -> initial:AI_RPO.I.TransferFunctions.Domain.t -> (UnitTests__AnalyzerTester.F.formatter -> AI_RPO.I.TransferFunctions.Domain.t -> unit) option -> IR.Procname.t -> 'a -> unit)) list
val create_tests : ?⁠test_pname:IR.Procname.t -> initial:AI_RPO.I.TransferFunctions.Domain.t -> ?⁠pp_opt:(UnitTests__AnalyzerTester.F.formatter -> AI_RPO.I.TransferFunctions.Domain.t -> unit) -> (Backend__Summary.t -> AI_RPO.I.TransferFunctions.analysis_data) -> (string * UnitTests__AnalyzerTester.StructuredSil.structured_instr list) list -> OUnit2.test list