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

module Dkey: sig .. end

val setup : ?rtl:bool -> unit -> unit