Module `ExceptionalTestInterpreter.AI_RPO`

module I : sig ... end

module M = I.InvariantMap

val structured_program_to_cfg : UnitTests__AnalyzerTester.StructuredSil.structured_instr list -> IR.Procname.t -> Backend__Summary.t * (UnitTests__AnalyzerTester.StructuredSil.assertion * UnitTests__AnalyzerTester.StructuredSil.label) M.t
val create_test : UnitTests__AnalyzerTester.StructuredSil.structured_instr list -> (Backend__Summary.t -> I.TransferFunctions.analysis_data) -> initial:I.TransferFunctions.Domain.t -> (UnitTests__AnalyzerTester.F.formatter -> I.TransferFunctions.Domain.t -> unit) option -> IR.Procname.t -> 'a -> unit