Module UnitTests.SchedulerTests
module MockNode : sig ... end
mocks for creating CFG's from adjacency lists
module MockProcCfg : sig ... end
module S : sig ... end
val create_test : S.CFG.t -> S.CFG.Node.t list -> 'a -> unit
val inputs : (string * (int * int list) list * int list * string) list
val tests : OUnit2.test