module Options: sig
.. end
implementation of Log.S for E-ACSL
include Plugin.S
implementation of Log.S for E-ACSL
module Check: Parameter_sig.Bool
module Run: Parameter_sig.Bool
module Valid: Parameter_sig.Bool
module Prepare: Parameter_sig.Bool
module Gmp_only: Parameter_sig.Bool
module Full_mmodel: Parameter_sig.Bool
module Project_name: Parameter_sig.String
module Builtins: Parameter_sig.String_set
module Temporal_validity: Parameter_sig.Bool
module Validate_format_strings: Parameter_sig.Bool
module Replace_libc_functions: Parameter_sig.Bool
module Functions: Parameter_sig.Kernel_function_set
module Instrument: Parameter_sig.Kernel_function_set
val parameter_states : State.t list
val must_visit : unit -> bool
val dkey_analysis : category
val dkey_dup : category
val dkey_translation : category
val dkey_typing : category