Module Options

module Options: sig .. end

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 
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