Algorithms
module G : Graph.Sig.G
val exit_strategy : G.t -> G.V.t Wto.component -> G.V.t Wto.partition
Frama-C Frama-C