Frama-C:
Plug-ins:
Libraries:

Frama-C API - Export

Export Engine Factory

val cmode : Engine.mode -> Engine.cmode
val amode : Engine.mode -> Engine.amode
val pmode : Engine.mode -> Engine.pmode
val tmode : ('a, 'f) Logic.datatype -> Engine.mode
val ctau : ('a, 'f) Logic.datatype -> Engine.cmode
val is_identifier : string -> bool
val sanitize : to_lowercase:bool -> string -> string
val debug : Engine.link -> string
module Make (T : Logic.Term) : sig ... end