Analyses
General module for E-ACSL analyses
val check_integrity : unit -> unit
val preprocess : unit -> unit
Analyses to run before starting the translation
val reset : unit -> unit
Clear the results of the analyses
Frama-C