Module Options

module Options: sig .. end

include Plugin.S

implementation of Log.S for E-ACSL

module Run: Parameter_sig.Bool 
module Valid: Parameter_sig.Bool 
module Gmp_only: Parameter_sig.Bool 
module Full_mtracking: 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 Assert_print_data: Parameter_sig.Bool 
module Functions: Parameter_sig.Kernel_function_set 
module Instrument: Parameter_sig.Kernel_function_set 
val parameter_states : State.t list
val emitter : Emitter.t
val must_visit : unit -> bool
val dkey_analysis : category
val dkey_prepare : category
val dkey_translation : category
val dkey_typing : category