Frama-C API - Export_whycore
Common Exportation Engine for Why-3 and Alt-Ergo
module Make (T : Logic.Term) : sig ... end
Frama-C Frama-C Export_whycoreCommon Exportation Engine for Why-3 and Alt-Ergo
module Make (T : Logic.Term) : sig ... end