module Cfg: functor (W : Mcfg.S) -> sig .. end
functor (
W
:
Mcfg.S
) ->
sig
end
val compute : Cil2cfg.t -> WpStrategy.strategy -> W.t_prop list * (Format.formatter -> Cil2cfg.edge -> unit)
Cil2cfg.t -> WpStrategy.strategy -> W.t_prop list * (Format.formatter -> Cil2cfg.edge -> unit)