Module `Make.AI_RPO`

module I : sig ... end

module M = I.InvariantMap

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