Module `UnitTests__SchedulerTests.S`

module CFG : sig ... end

type t = Absint__Scheduler.ReversePostorder(MockProcCfg).t

val schedule_succs : t -> CFG.Node.t -> t
val pop : t -> (CFG.Node.t * CFG.Node.id list * t) option
val empty : CFG.t -> t