Up – Index » frama-c-wp » Wp » CfgCalculus » Make

Module `CfgCalculus.Make`

Parameters
Signature

Parameters

module W : sig ... end

Signature

exception NonNaturalLoop of Frama_c_kernel.Fileloc.t

val compute : mode:mode -> props:props -> W.t_prop