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